Proves correctness of coinductive full merging projection and operational correspondence for asynchronous global protocols projected to optimizable local types, guaranteeing soundness and liveness.
Precise subtyping for synchronous multiparty sessions.Journal of Logical and Algebraic Methods in Programming, 104:127–173, April 2019
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Asynchronous Global Protocols, Precisely: Full Proofs
Proves correctness of coinductive full merging projection and operational correspondence for asynchronous global protocols projected to optimizable local types, guaranteeing soundness and liveness.