Deconfined Global Types for Asynchronous Sessions

F. Dagnino; Paola GIANNINI; M. Dezani-Ciancaglini

doi:10.1007/978-3-030-78142-2_3

Deconfined Global Types for Asynchronous Sessions

F. Dagnino, Paola GIANNINI, M. Dezani-Ciancaglini

Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer 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 originale	Inglese
Pagine	41-60
Numero di pagine	20
DOI	https://doi.org/10.1007/978-3-030-78142-2_3
Stato di pubblicazione	Pubblicato - 2021
Evento	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 - Durata: 1 gen 2021 → …

???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
Periodo	1/01/21 → …

Keywords

Communication-based programming
Global types
Multiparty sessions

Accesso al documento

10.1007/978-3-030-78142-2_3

http://hdl.handle.net/11579/129808

Altri file e collegamenti

handle

Cita questo

Dagnino, F., GIANNINI, P., & Dezani-Ciancaglini, M. (2021). Deconfined Global Types for Asynchronous Sessions. 41-60. Articolo presentato al 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. https://doi.org/10.1007/978-3-030-78142-2_3

@conference{4ed8a1a16041431ba9a0fef4edb5f9e8,

title = "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.",

keywords = "Communication-based programming, Global types, Multiparty sessions, Communication-based programming, Global types, Multiparty sessions",

author = "F. Dagnino and Paola GIANNINI and M. Dezani-Ciancaglini",

year = "2021",

doi = "10.1007/978-3-030-78142-2_3",

language = "English",

pages = "41--60",

note = "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 ; Conference date: 01-01-2021",

}

Dagnino, F, GIANNINI, P & Dezani-Ciancaglini, M 2021, 'Deconfined Global Types for Asynchronous Sessions', Articolo presentato al 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, 1/01/21 pagg. 41-60. https://doi.org/10.1007/978-3-030-78142-2_3

Deconfined Global Types for Asynchronous Sessions. / Dagnino, F.; GIANNINI, Paola; Dezani-Ciancaglini, M.
2021. 41-60 Articolo presentato al 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.

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

TY - CONF

T1 - Deconfined Global Types for Asynchronous Sessions

AU - Dagnino, F.

AU - GIANNINI, Paola

AU - Dezani-Ciancaglini, M.

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

KW - Communication-based programming

KW - Global types

KW - Multiparty sessions

UR - https://iris.uniupo.it/handle/11579/129808

U2 - 10.1007/978-3-030-78142-2_3

DO - 10.1007/978-3-030-78142-2_3

M3 - Paper

SP - 41

EP - 60

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 - 1 January 2021

ER -

Deconfined Global Types for Asynchronous Sessions

Abstract

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

Keywords

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo