Multicompatibility for Multiparty-Session Composition
summary
Defines a conservative, flexible method to compose many concurrent systems at once by treating chosen participants as forwarder gateways and encoding connection policies as multiparty sessions; works in a session‑type calculus (synchronous semantics), proves that if each system and the policy are typable then the composed system preserves typability and lock‑freedom, and gives a sound and complete type‑inference algorithm to decide safe multicompatibility.
AI-written summary · about
chapters (7)
- 0:00Introduction to multicompatibility
- 3:24Participants as interfaces
- 7:25Safety and formal results
- 11:44Multiparty session types overview
- 17:52Key results for safe composition
- 23:55New results and future work
- 26:09Q&A
related talks
18mHybrid Multiparty Session Types: Compositionality for Protocol Specification th...
35mEvent-Driven Multiparty Session Actors
23mA Synthetic Reconstruction of Multiparty Session Types
37mSession Types: A History and Applications
15mStatically Verified Refinements for Multiparty Protocols
15mA Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming
37mUsing Event Structures to model Multiparty Session Types: results and open problems
20mMessage-Observing Sessions