Global Progress in Dynamically Interleaved Multiparty Sessions.

Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida

Browse the full CONCUR paper archive.