Less is more revisited: association with global multiparty session types

Multiparty session types (MPST) [12] provide a type discipline where a programmer or architect specifies a whole view of communications as a global protocol, and each distributed program is locally type-checked against its end-point projection. After 10 years from the birth of MPST, Scalas and Yoshi...