On Global Types and Multi-party Sessions.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani

Browse the full FORTE paper archive.