Similar Items: Timed Session Types
- On the Preciseness of Subtyping in Session Types
- Parameterised Multiparty Session Types
- Modular session types for objects
- Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
- On Global Types and Multi-Party Session
- Relating Functional and Imperative Session Types