Pages that link to "Item:Q4676156"
From MaRDI portal
The following pages link to Correspondence assertions for process synchronization in concurrent communications (Q4676156):
Displaying 18 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Objects and session types (Q1021571) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- A Calculus of Global Interaction based on Session Types (Q2864218) (← links)
- A Chart Semantics for the Pi-Calculus (Q2864369) (← links)
- Theoretical Aspects of Communication-Centred Programming (Q2870194) (← links)
- Proof-Carrying Code in a Session-Typed Process Calculus (Q3100198) (← links)
- Bounded polymorphism in session types (Q3535678) (← links)
- Linear type theory for asynchronous session types (Q5189644) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
- An extensible approach to session polymorphism (Q5741569) (← links)
- Boxed ambients with communication interfaces (Q5756976) (← links)
