Login
From:
blog.fponzi.me
(Uncensored)
subscribe
Lamport clocks
https://blog.fponzi.me/2024-02-02-lamport-clocks.html
links
backlinks
Tagged with:
distributed
formalmethods
Roast topics
Find topics
Find it!
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...
