Next: Mutual Exclusion: Using Timestamps
Up: Figures in the book
Previous: Verifying Clock Algorithms
Figure:
A direct-dependency clock algorithm
|
Figure:
A sample execution of the direct-dependency clock algorithm.
|
Figure:
State intervals
|
Figure:
Algorithm for maintaining matrix clock
at
.
|
Figure:
Computing
|
Vijay K. Garg
2005-02-08