TY - GEN
T1 - Event structure semantics for multiparty sessions (Extended Version)
AU - Castellani, Ilaria
AU - Dezani(-)Ciancaglini, Mariangiola
AU - GIANNINI, Paola
PY - 2022/1/1
Y1 - 2022/1/1
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
M3 - Other contribution
ER -