Searching for authors named "Franz Puntigam" – sorted by Relevance.
-
Types for Active Objects Based on Trace Semantics
- Types for Active Objects Based on Trace Semantics Franz Puntigam Technische Universitat Wien
- Cited by 24 (7 self) – Add To MetaCart
-
Coordination Requirements Expressed in Types for Active Objects
- Coordination Requirements Expressed in Types for Active Objects Franz Puntigam Technische
- Cited by 25 (7 self) – Add To MetaCart
-
Type Specifications with Processes
- Type Specifications with Processes Franz Puntigam Technische Universitat Wien Institut fur
- Cited by 11 (6 self) – Add To MetaCart
-
Flexible Types for a Concurrent Model
- Flexible Types for a Concurrent Model Franz Puntigam Institut fur Computersprachen, Technische
- Cited by 7 (6 self) – Add To MetaCart
-
Synchronization Expressed in Types of Communication Channels
- Synchronization Expressed in Types of Communication Channels Franz Puntigam Technische Universitat
- Cited by 5 (0 self) – Add To MetaCart
-
Non-Regular Process Types
- Non-Regular Process Types Franz Puntigam Technische Universitat Wien, Institut fur
- Cited by 3 (0 self) – Add To MetaCart
-
Dynamic Type Information in Process Types
- Dynamic Type Information in Process Types Franz Puntigam Technische Universitat Wien, Institut fur
- Cited by 3 (1 self) – Add To MetaCart
-
Types that Reflect Changes of Object Usability
- Types that Reflect Changes of Object Usability Franz Puntigam Technische Universitat Wien
- Cited by 3 (2 self) – Add To MetaCart
-
Transactions on Shared Data: a Coordination Model
- Transactions on Shared Data: a Coordination Model Franz Puntigam Technische Universitat Wien
- Cited by 2 (2 self) – Add To MetaCart
-
Synchronization with Type Variables
- Synchronization with Type Variables Franz Puntigam Technische Universität Wien, Institut für
- Cited by 1 (0 self) – Add To MetaCart

