Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Complete list of metadata
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, October 20, 2021 - 9:01:08 AM
Last modification on : Friday, November 25, 2022 - 6:50:05 PM
Long-term archiving on: : Friday, January 21, 2022 - 7:18:13 PM


 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2024-01-01

Please log in to resquest access to the document


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views