TY - JOUR
T1 - Event structure semantics for multiparty sessions
AU - Castellani, Ilaria
AU - Dezani-Ciancaglini, Mariangiola
AU - Giannini, Paola
N1 - Publisher Copyright:
© 2022 Elsevier Inc.
PY - 2023/2
Y1 - 2023/2
N2 - We propose an interpretation of multiparty sessions as Flow Event Structures, which allows concurrency within sessions 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 such global types as Prime Event Structures.
AB - We propose an interpretation of multiparty sessions as Flow Event Structures, which allows concurrency within sessions 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 such global types as Prime Event Structures.
KW - Communication-based programming
KW - Communication-centric systems
KW - Event structures
KW - Multiparty session types
KW - Process calculi
UR - http://www.scopus.com/inward/record.url?scp=85143869354&partnerID=8YFLogxK
U2 - 10.1016/j.jlamp.2022.100844
DO - 10.1016/j.jlamp.2022.100844
M3 - Article
SN - 2352-2208
VL - 131
JO - Journal of Logical and Algebraic Methods in Programming
JF - Journal of Logical and Algebraic Methods in Programming
M1 - 100844
ER -