3 ms·Lamport’s time/clocks paper solves this exact problem, using this exact example, without locks.by grahamlee 3y agoLamport’s time/clocks paper solves this exact problem, using this exact example, without locks.