Global progress in dynamically interleaved multiparty sessions (2008)

by L Bettini, M Coppo, L D’Antoni, M De Luca, M DezaniCiancaglini, N Yoshida
Venue:In Proc. CONCUR, LNCS