Un-projectable Global Types for Multiparty Sessions.

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro

Browse the full PPDP paper archive.