4 ms·
It is appropriate that Lamport's tool is being used to prove the correctness to an improvement of Lamport's algorithm.
by jpitz 10y ago
It is appropriate that Lamport's tool is being used to prove the correctness to an improvement of Lamport's algorithm.