Similar Items: A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
- Fair Asynchronous Session Subtyping
- On the Preciseness of Subtyping in Session Types
- 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