Next: Mutual Exclusion: Tokens and
Up: Figures in the book
Previous: Clocks of Different Dimensions
Figure:
Lamport's algorithm for mutual exclusion

Figure:
Messages crossing a cut

Figure:
Proof for the induction case

Figure:
Ricart and Agrawala's algorithm

Vijay K. Garg
20050208