Introduces an association relation for proving subject reduction in multiparty session π-calculus, guaranteeing session fidelity, deadlock freedom, and liveness from global types.
org/html/rfc6749 (2012) Less is More Revisited 23
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Less is More Revisited: Association with Global Protocols and Multiparty Sessions
Introduces an association relation for proving subject reduction in multiparty session π-calculus, guaranteeing session fidelity, deadlock freedom, and liveness from global types.