Luís Caires, Jorge Pérez. Multiparty Session Types Within a Canonical Binary Theory, and Beyond. Elvira Albert; Ivan Lanese. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion,
HAL Archives-Ouvertes,
Luís Caires, Jorge Pérez. Multiparty Session Types Within a Canonical Binary Theory, and Beyond.