Deconfined Global Types for Asynchronous Sessions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Deconfined Global Types for Asynchronous Sessions

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
17 Consultations
12 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More