Similar Items: Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
- Fair Asynchronous Session Subtyping
- Deconfined Global Types for Asynchronous Sessions
- Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
- Asynchronous wreath product and cascade decompositions for concurrent behaviours
- Crash-Stop Failures in Asynchronous Multiparty Session Types
- Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic