Modular Multiparty Sessions with Mixed Choice
arXiv:2508.13616 · doi:10.4204/EPTCS.425.2
Abstract
MultiParty Session Types (MPST) provide a useful framework for safe concurrent systems. Mixed choice (enabling a participant to play at the same time the roles of sender and receiver) increases the expressive power of MPST as well as the difficulty in controlling safety of communications. Such a control is more viable when modular systems are considered and the power of mixed choice fully exploited only inside loosely coupled modules. We carry over such idea in a type assignment approach to multiparty sessions. Typability for modular sessions entails Subject Reductions, Session Fidelity and Lock Freedom.
arXiv commentIn Proceedings ICE 2025, arXiv:2508.12308
References in corpus (6)
- Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi
- Deconfined Global Types for Asynchronous Sessions
- Asynchronous Sessions with Input Races
- Partially Typed Multiparty Sessions
- Safe asynchronous mixed-choice for timed interactions
- Partial Typing for Asynchronous Multiparty Sessions