2 papers
cs.PL2026
Top-down = Bottom-up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols
Kai Pischke, Nobuko Yoshida
Multiparty session types (MPST) are a type discipline for concurrent and distributed systems, designed to ensure not only type safety and deadlock-freedom, but also liveness of typ…
cs.PL2026
Asynchronous Global Protocols, Precisely: Full Proofs
Kai Pischke, Jake Masters, Nobuko Yoshida
Asynchronous multiparty session types are a type-based framework which ensure the compatibility of components in a distributed system by checking compliance against a specified glo…