@inbook{626e6a33864949019aadf7a2139e6200,
title = "Event structure semantics for multiparty sessions",
abstract = "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.",
author = "Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2019.",
year = "2019",
doi = "10.1007/978-3-030-21485-2\_19",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "340--363",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
}