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