Validation of a protocol for communication management in CSCW systems using a coloured-Petri net modelization | IEEE Conference Publication | IEEE Xplore