Ilaria Castellani ; Mariangiola Dezani-Ciancaglini ; Paola Giannini - Global types and event structure semantics for asynchronous multiparty sessions

fi:9571 - Fundamenta Informaticae, November 10, 2024, Volume 192, Issue 1 - https://doi.org/10.46298/fi.9571
Global types and event structure semantics for asynchronous multiparty sessionsArticle

Authors: Ilaria Castellani ; Mariangiola Dezani-Ciancaglini ; Paola Giannini

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.


Volume: Volume 192, Issue 1
Published on: November 10, 2024
Accepted on: May 15, 2024
Submitted on: May 18, 2022
Keywords: Computer Science - Logic in Computer Science

Consultation statistics

This page has been seen 365 times.
This article's PDF has been downloaded 216 times.