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 19th International Conference on Concurrency Theory (Concur’08), LNCS