The following pages link to (Q4778708):
Displaying 7 items.
- An algebra of behavioural types (Q418153) (← links)
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Conversation protocols: a formalism for specification and verification of reactive electronic services (Q703491) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Abstract interpretation of mobile systems (Q1772313) (← links)
- A compositional behavioral modeling framework for embedded system design and conformance checking (Q2506261) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
