Deconfined Global Types for Asynchronous Sessions

Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

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.

Lingua originaleInglese
Titolo della pubblicazione ospiteCoordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings
EditorFerruccio Damiani, Ornela Dardha
EditoreSpringer Science and Business Media Deutschland GmbH
Pagine41-60
Numero di pagine20
ISBN (stampa)9783030781415
DOI
Stato di pubblicazionePubblicato - 2021
Evento23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 - Virtual, Online
Durata: 14 giu 202118 giu 2021

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12717 LNCS
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021
CittàVirtual, Online
Periodo14/06/2118/06/21

Fingerprint

Entra nei temi di ricerca di 'Deconfined Global Types for Asynchronous Sessions'. Insieme formano una fingerprint unica.

Cita questo