Lamport’s Bakery algorithm