1
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...
Index of Federico Ponzi's blog. Federico Ponzi is a computer scientist and software engineer, writes about programming and systems.
Visit blog.fponzi.me → RSS feedOn Hacker News Feb 2024 – Feb 2024
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...