Similar Items: Deconfined Global Types for Asynchronous Sessions
- Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
- Crash-Stop Failures in Asynchronous Multiparty Session Types
- A Session Type System for Asynchronous Unreliable Broadcast Communication
- Fair Asynchronous Session Subtyping
- Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
- On Global Types and Multi-Party Session