Lamport's Bakery algorithm

  1. REDIRECT Lamport's bakery algorithm {{R from other capitalisation}}