Event structure semantics for multiparty sessions
Logic in Computer Science
2022-05-18 v2
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".
Cite
@article{arxiv.2201.00221,
title = {Event structure semantics for multiparty sessions},
author = {Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini},
journal= {arXiv preprint arXiv:2201.00221},
year = {2022}
}
Comments
arXiv admin note: text overlap with arXiv:2102.00865