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.
In Isil Dillig & Serdar Tasiran, editors: CA V, LNCS 11561, Springer, pp
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.