Nobuko Yoshida

Top-Down = Bottom-Up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols

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 typed communicating processes. Two main MPST methodologies, top-down and bottom-up, have been proposed...