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 Tiziana Margaria & Bernhard Steffen, editors: Essays Dedicated to Rocco De Nicola on The Occasion of His 70th Birthday , LNCS 15219, 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.