Hacker News new | ask | show | jobs
by jpitz 3586 days ago
It is appropriate that Lamport's tool is being used to prove the correctness to an improvement of Lamport's algorithm.