Hacker News new | ask | show | jobs
by LAC-Tech 1025 days ago
Start with a classic:

https://lamport.azurewebsites.net/pubs/time-clocks.pdf