Éric Garcia, Julien Henriet, Jean-Christophe Lapayre. Modelization of a Communication Protocol for CSCW Systems Using Coloured Petri Nets. In Yuhua Luo, editor, Cooperative Design, Visualization, and Engineering, Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings. Volume 3675 of Lecture Notes in Computer Science, pages 14-21, Springer, 2005. [doi]