Proves correctness of coinductive full merging projection and operational correspondence for asynchronous global protocols projected to optimizable local types, guaranteeing soundness and liveness.
Global Progress for Dynamically Interleaved Multiparty Sessions.MSCS, 26:238–302, 2015
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.