Event structure semantics for multiparty sessions

01/01/2022
by   Ilaria Castellani, et al.
0

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".

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

02/01/2021

Global types and event structure semantics for asynchronous multiparty sessions

We propose an interpretation of multiparty sessions with asynchronous co...
07/16/2019

Minimisation of Event Structures

Event structures are fundamental models in concurrency theory, providing...
03/12/2020

Causal Unfoldings and Disjunctive Causes

In the simplest form of event structure, a prime event structure, an eve...
12/03/2019

On the Herbrand Functional Interpretation

We show that the types of the witnesses in the Herbrand functional inter...
11/30/2020

A new operational representation of dependencies in Event Structures

The execution of an event in a complex and distributed system where the ...
10/27/2017

Generating global network structures by triad types

This paper addresses the question of whether it is possible to generate ...
01/10/2020

A computational interpretation of Zorn's lemma

We give a computational interpretation to an abstract instance of Zorn's...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.