TY - JOUR
T1 - Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions
AU - Castellani, Ilaria
AU - Dezani-Ciancaglini, Mariangiola
AU - GIANNINI, Paola
PY - 2024
Y1 - 2024
N2 - We propose an interpretation of multiparty sessions with asynchronous communication as "Flow Event Structures". We introduce a new notion of "asynchronous type" for such sessions, ensuring the expected properties for multiparty sessions,including progress.
Our asynchronous types, which reflect asynchrony more directly and more precisely than standard global types and are more permissive, are themselves interpreted as "Prime Event Structures". The main result is that the Event Structure interpretation of a session is equivalent, when the session is typable, to the Event Structure interpretation of its asynchronous type, namely their domains of configurations are isomorphic.
AB - We propose an interpretation of multiparty sessions with asynchronous communication as "Flow Event Structures". We introduce a new notion of "asynchronous type" for such sessions, ensuring the expected properties for multiparty sessions,including progress.
Our asynchronous types, which reflect asynchrony more directly and more precisely than standard global types and are more permissive, are themselves interpreted as "Prime Event Structures". The main result is that the Event Structure interpretation of a session is equivalent, when the session is typable, to the Event Structure interpretation of its asynchronous type, namely their domains of configurations are isomorphic.
KW - Communication-based Programming
KW - Communication-centric Systems
KW - Event Structures
KW - Multiparty Session Types.
KW - Process Calculi
KW - Communication-based Programming
KW - Communication-centric Systems
KW - Event Structures
KW - Multiparty Session Types.
KW - Process Calculi
UR - https://iris.uniupo.it/handle/11579/187202
U2 - 10.3233/fi-242188
DO - 10.3233/fi-242188
M3 - Article
SN - 0169-2968
VL - 192
SP - 1
EP - 75
JO - Fundamenta Informaticae
JF - Fundamenta Informaticae
IS - 1
ER -