The following pages link to (Q4536621):
Displayed 6 items.
- An algebra of behavioural types (Q418153) (← links)
- A type safe state abstraction for coordination in JAVA-like languages (Q1006341) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← links)
- On the Expressive Power of Polyadic Synchronisation in π-calculus (Q2842599) (← links)
- Context-Free Session Type Inference (Q2988669) (← links)