Global types and event structure semantics for asynchronous multiparty sessions
release_p276x5uagvdyjh6fdesyy2zioq
by
Ilaria Castellani, Paola Giannini
2021
Abstract
We propose an interpretation of multiparty sessions with asynchronous
communication as Flow Event Structures. We introduce a new notion of global
type for asynchronous multiparty sessions, ensuring the expected properties for
sessions, including progress. Our global types, which reflect asynchrony more
directly than standard global types and are more permissive, are themselves
interpreted as Prime Event Structures. The main result is that the Event
Structure interpretation of a session is equivalent, when the session is
typable, to the Event Structure interpretation of its global type.
In text/plain
format
Archived Content
There are no accessible files associated with this release. You could check other releases for this work for an accessible version.
Know of a fulltext copy of on the public web? Submit a URL and we will archive it
2102.00865v1
access all versions, variants, and formats of this works (eg, pre-prints)