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".
Event structure semantics for multiparty sessions (Extended Version)
Paola Giannini
2022-01-01
Abstract
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".File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
view.pdf
file ad accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Creative commons
Dimensione
516 kB
Formato
Adobe PDF
|
516 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
