Event structure semantics for multiparty sessions
Ilaria Castellani ( INRIA, France )
- 14:00 30th May 2023 ( week 6, Trinity Term 2023 )Tony Hoare room
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.
Joint work with Mariangiola Dezani-Ciancaglini and Paola Giannini. See also: arXiv:2201.00221