%0 Conference Proceedings
%T Deconfined Global Types for Asynchronous Sessions
%+ Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova] (DIBRIS)
%+ Università del Piemonte Orientale - Dipartimento DISIT Italy
%+ Dipartimento di Informatica [Torino]
%A Dagnino, Francesco
%A Giannini, Paola
%A Dezani-Ciancaglini, Mariangiola
%Z Part 2: Communications: Types and Implemenations
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 23th International Conference on Coordination Languages and Models (COORDINATION)
%C Valletta, Malta
%Y Ferruccio Damiani
%Y Ornela Dardha
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-12717
%P 41-60
%8 2021-06-14
%D 2021
%R 10.1007/978-3-030-78142-2_3
%K Communication-based programming
%K Multiparty sessions
%K Global types
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03387838/document
%2 https://inria.hal.science/hal-03387838/file/509400_1_En_3_Chapter.pdf
%L hal-03387838
%U https://inria.hal.science/hal-03387838
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-12717