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

Please sign up or login with your details

Forgot password? Click here to reset