Lamport’s algorithm