Bounding Lamport's Bakery Algorithm. - Prasad Jayanti; King Tan; Gregory Friedland; Amir Katz (SOFSEM, 2001)