A calculus-independent characterization of the must-preorder via label abstractions that is sound and complete across synchronous, asynchronous, value-passing and non-value-passing settings.
Using higher-order contracts to model session types
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A uniform characterisation of the (a)synchronous must-preorder
A calculus-independent characterization of the must-preorder via label abstractions that is sound and complete across synchronous, asynchronous, value-passing and non-value-passing settings.