http://docs.google.com/viewer?a=v&q=cache:IJxXjuFmdHEJ:c...
Hence Mattern's extensions to Lamport's work, which introduce the idea of vector clocks.