Lamport clocks

Last weekend I wanted to get some inspiration to write some TLA+ spec and I got my hands back on the paper Time, Clocks, and the Ordering of Events...

Related Keywords

Leslie Lamport ,Test Driven Development ,Distributed System ,Logical Clock ,Clock Condition ,Logical Clocks ,Paper ,La ,Istsys ,