Using lamport clocks.