Paper Info
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".
Year
DOI
Venue
2019
10.1007/978-3-030-21485-2_19
Models, Languages, and Tools for Concurrent and Distributed Programming
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Ilaria Castellani165649.38
Mariangiola Dezani-Ciancaglini21615193.57
Paola Giannini344950.00