Hacker News new | ask | show | jobs
by andsoitis 1061 days ago
The paper: https://amturing.acm.org/p558-lamport.pdf