Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols
No abstract available.
Related papers
- Designing Asynchronous Multiparty Protocols with Crash-Stop Failures ECOOP 2023
- CAMP: cost-aware multiparty session protocols OOPSLA 2020
- A multiparty session typing discipline for fault-tolerant event-driven distributed programming OOPSLA 2021
- Statically verified refinements for multiparty protocols OOPSLA 2020
- A Synthetic Reconstruction of Multiparty Session Types POPL 2026
- Fearless Asynchronous Communications with Timed Multiparty Session Protocols ECOOP 2024
- Deadlock-freedom-by-design: multiparty asynchronous global programming POPL 2013
- Design-By-Contract for Flexible Multiparty Session Protocols ECOOP 2022