Less is More Revisited: Association with Global Protocols and Multiparty Sessions

Ping Hou, Nobuko Yoshida, Iona Kuhn

Ensuring correctness of communication in distributed systems remains challenging. To address this, Multiparty session types (MPST), initially introduced by Honda et al. [52, 53], o…