Bounding Lamport's Bakery Algorithm.

Prasad Jayanti, King Tan, Gregory Friedland, Amir Katz

Browse the full SOFSEM paper archive.