Lamport clocks : vimarsana.com

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 ,