Fair asynchronous session subtyping equals the largest coinductive asynchronous subtyping relation contained in the inductive convergence relation, for session types that can always terminate.
S1) after the output! a
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
contradiction 1
citation-polarity summary
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1roles
contradiction 1polarities
contest 1representative citing papers
citing papers explorer
-
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
Fair asynchronous session subtyping equals the largest coinductive asynchronous subtyping relation contained in the inductive convergence relation, for session types that can always terminate.