Proves correctness of coinductive full merging projection and operational correspondence for asynchronous global protocols projected to optimizable local types, guaranteeing soundness and liveness.
On the preciseness of subtyping in session types.Logical Methods in Computer Science, 13(2), June 2017
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.