New global types for asynchronous multiparty sessions are interpreted as Prime Event Structures with equivalence to session interpretations as Flow Event Structures when typable.
Linear logical relations and observational equiv- alences for session-based concurrency
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2021 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Global types and event structure semantics for asynchronous multiparty sessions
New global types for asynchronous multiparty sessions are interpreted as Prime Event Structures with equivalence to session interpretations as Flow Event Structures when typable.