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...
Leslie Lamport Test Driven Development Distributed System Logical Clock Clock Condition Logical Clocks
Source: blog.fponzi.me