"Multiparty Session Types Within a Canonical Binary Theory, and Beyond."

Luís Caires, Jorge A. Pérez (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics