Global Progress in Dynamically Interleaved Multiparty Sessions

Lorenzo Bettini, Mario Coppo, Loris D Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida. Global Progress in Dynamically Interleaved Multiparty Sessions. In Franck van Breugel, Marsha Chechik, editors, CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings. Volume 5201 of Lecture Notes in Computer Science, pages 418-433, Springer, 2008. [doi]

Abstract

Abstract is missing.

  翻译: