CerryuDu on How to Write a 21st Century Proof (2011) [pdf] · Hackerly

Comment on How to Write a 21st Century Proof (2011) [pdf]parent

Vector Clocks!

https://en.wikipedia.org/wiki/Lamport_timestamp