TY - GEN
T1 - Deconfined Global Types for Asynchronous Sessions
AU - Dagnino, Francesco
AU - Giannini, Paola
AU - Dezani-Ciancaglini, Mariangiola
N1 - Publisher Copyright:
© 2021, IFIP International Federation for Information Processing.
PY - 2021
Y1 - 2021
N2 - 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.
AB - 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.
KW - Communication-based programming
KW - Global types
KW - Multiparty sessions
UR - http://www.scopus.com/inward/record.url?scp=85111404922&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-78142-2_3
DO - 10.1007/978-3-030-78142-2_3
M3 - Conference contribution
AN - SCOPUS:85111404922
SN - 9783030781415
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 41
EP - 60
BT - Coordination 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
A2 - Damiani, Ferruccio
A2 - Dardha, Ornela
PB - Springer Science and Business Media Deutschland GmbH
T2 - 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
Y2 - 14 June 2021 through 18 June 2021
ER -