An asynchronous multiparty session calculus with mixed choice is equipped with a coherence-based type system using coinductive global types, proving subject reduction, session fidelity, lock-freedom, and orphan-message-freedom.
Available at https://github.com/ francobarbanera/Asynchronous-Multiparty-Sessions-wi th-Mixed-Choice-Full/blob/ b68cd679b435d0ac1f12e9c8ab47cc8167a11728/Main-Mix-A sync-full.pdf
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Asynchronous Multiparty Sessions with Mixed Choice
An asynchronous multiparty session calculus with mixed choice is equipped with a coherence-based type system using coinductive global types, proving subject reduction, session fidelity, lock-freedom, and orphan-message-freedom.