Global progress in dynamically interleaved multiparty sessions (2008)

by Lorenzo Bettini, Mario Coppo, Loris D’Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
Venue:In CONCUR’08, volume 5201 of LNCS