Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types

Thien Udomsrirungruang, Nobuko Yoshida

Multiparty session types provide a type discipline for ensuring communication safety, deadlock-freedom and liveness for multiple concurrently running participants. The original for…