Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection
Explore a groundbreaking approach to multiparty session types (MPST) for distributed message-passing systems in this 18-minute conference talk from OOPSLA1 2023. Delve into the novel concept of hybrid types for describing subprotocols, learn about a new compatibility relation, and understand how multiple subprotocols can be composed into a well-formed global type. Discover how this innovative MPST theory of multiparty compositionality overcomes limitations in modular specification of global protocols, preserves semantics, and retains full MPST expressiveness. Gain insights into how this approach maintains projection and semantic guarantees such as liveness and deadlock freedom. Examine real-world case studies and explore extensions to MPST with delegation and explicit connections. Presented by Lorenzo Gheri and Nobuko Yoshida from the University of Oxford, this talk offers valuable knowledge for researchers and practitioners in distributed systems, protocol design, and concurrency.