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

Lus Caires, Jorge A. Prez

Browse the full FORTE paper archive.