The work defines enriched global types for multiparty session types that incorporate failure semantics and dynamic participation, proves coherence preservation, and positions the framework as a foundation for stateful and liveness verification in web applications.
Proceedings of the ACM on Programming Languages 4(OOPSLA), pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.PL 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
A probabilistic runtime extension to typestates adds mutable state, mixed input/output sessions, and monitoring of expected action ratios to model concurrent and quantitative aspects of distributed protocols.
citing papers explorer
-
Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
The work defines enriched global types for multiparty session types that incorporate failure semantics and dynamic participation, proves coherence preservation, and positions the framework as a foundation for stateful and liveness verification in web applications.
-
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
A probabilistic runtime extension to typestates adds mutable state, mixed input/output sessions, and monitoring of expected action ratios to model concurrent and quantitative aspects of distributed protocols.