Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example.

Michel Raynal

Browse the full EuroPar paper archive.