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.
In Franck van Breugel & Marsha Chechik, editors: CONCUR 2008 - Concurrency Theory
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
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.