Lamport's Bakery Algorithm