← Chapter 9: Distributed Mutual Exclusion Algorithms