Global types and event structure semantics for asynchronous multiparty sessions release_p276x5uagvdyjh6fdesyy2zioq

by Ilaria Castellani, Paola Giannini

Released as a article .

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.

"Dark" Preservation Only
Save Paper Now!

Know of a fulltext copy of on the public web? Submit a URL and we will archive it

Type  article
Stage   submitted
Date   2021-02-01
Version   v1
Language   en ?
arXiv  2102.00865v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 56f72b91-d03a-4926-b22b-f6670f9e54d7
API URL: JSON