Modelization of a Communication Protocol for CSCW Systems Using Coloured Petri Nets.

ric Garcia, Julien Henriet, Jean-Christophe Lapayre

Browse the full CDVE paper archive.