Deconfined Global Types for Asynchronous Sessions - Coordination Models and Languages
Conference Papers Year : 2021

Deconfined Global Types for Asynchronous Sessions

Abstract

Multiparty sessions with asynchronous communications and global types play an important role for the modelling of interaction protocols in distributed systems. In designing such calculi the aim is to enforce, by typing, good properties for all participants, maximising, at the same time, the behaviours accepted. The global types presented in this paper improve the state-of-the-art by extending the set of typeable asynchronous sessions and preserving decidability of type checking together with the key properties of Subject Reduction, Session Fidelity and Progress.
Fichier principal
Vignette du fichier
509400_1_En_3_Chapter.pdf (486.5 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03387838 , version 1 (20-10-2021)

Licence

Identifiers

Cite

Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini. Deconfined Global Types for Asynchronous Sessions. 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.41-60, ⟨10.1007/978-3-030-78142-2_3⟩. ⟨hal-03387838⟩
31 View
23 Download

Altmetric

Share

More