Similar Items: Asynchronous wreath product and cascade decompositions for concurrent behaviours
- Wreath Products of Forest Algebras, with Applications to Tree Logics
- Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
- Sculptures in Concurrency
- Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
- Higher-Order Asynchronous Effects
- Fair Asynchronous Session Subtyping