Pages that link to "Item:Q4676156"
From MaRDI portal
The following pages link to Correspondence assertions for process synchronization in concurrent communications (Q4676156):
Displayed 9 items.
- Type checking a multithreaded functional language with session types (Q859841) (← 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)
- 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)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
- Boxed ambients with communication interfaces (Q5756976) (← links)