Modular Multiparty Sessions with Mixed Choice
Franco Barbanera (DMI - University of Catania), Mariangiola Dezani-Ciancaglini (DI- University of Torino)
TL;DR
This paper extends MultiParty Session Types to include mixed choice in modular systems, enhancing expressive power while maintaining safety through a type assignment approach that ensures key properties like session fidelity.
Contribution
It introduces a type system for modular multiparty sessions with mixed choice, ensuring safety properties and enabling better control of complex communication protocols.
Findings
Type assignment approach for modular sessions with mixed choice
Ensures Subject Reductions, Session Fidelity, and Lock Freedom
Enhances expressive power of MPST in modular settings
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.