TY - GEN
T1 - Event structure semantics for multiparty sessions (Extended Version)
AU - Castellani, Ilaria
AU - Dezani(-)Ciancaglini, Mariangiola
AU - GIANNINI, Paola
PY - 2022
Y1 - 2022
N2 - We propose an interpretation of multiparty sessions as "flow event structures", which allows concurrency between communications within a session to be explicitly represented. We show that this interpretation is equivalent, when the multiparty sessions can be described by global types, to an interpretation of global types as "prime event structures".
AB - We propose an interpretation of multiparty sessions as "flow event structures", which allows concurrency between communications within a session to be explicitly represented. We show that this interpretation is equivalent, when the multiparty sessions can be described by global types, to an interpretation of global types as "prime event structures".
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/139335.4
M3 - Other contribution
ER -