Similar Items: A Session Type System for Asynchronous Unreliable Broadcast Communication
- 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
- Fair Asynchronous Session Subtyping
- Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
- A Sound Algorithm for Asynchronous Session Subtyping and its Implementation