Let it recover: multiparty protocol-induced recovery
No abstract available.
Related papers
- Designing Asynchronous Multiparty Protocols with Crash-Stop Failures ECOOP 2023
- Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols ECOOP 2023
- Fearless Asynchronous Communications with Timed Multiparty Session Protocols ECOOP 2024
- Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation ECOOP 2024
- Sprout: A Verifier for Symbolic Multiparty Protocols CAV 2025
- An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols ESOP 2025
- Runtime Monitoring with Recovery of the SENT Communication Protocol CAV 2017
- Multiparty Session Programming With Global Protocol Combinators ECOOP 2020