Work

Modular Multiparty Sessions with Mixed Choice

Year: 2025

Type: article

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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.425.2

Authors: Franco Barbanera, Mariangiola Dezani-Ciancaglini

Institutions: University of Catania, University of Turin

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: NextGenerationEU

OpenAlex ID: W4413446773

FWCI: 0.416

Cites: 32

Cited by: 1

Related to: 10