CPSC 668: Distributed Algorithms and Systems
Fall 2006
Homework 7
Due: beginning of class on Mon, Dec 4.
Check course
web page homework section
for more information, especially regarding paper reviews and cover sheet.
Problems:
The numbered exercises are from the textbook.
Do your best to give rigorous proofs of all the results.
- Exercise 16.17
- Exercise 16.22
Paper Reviews:
- Marco Schneider, "Self-stabilization," ACM Computing Surveys,
vol. 25, no. 1, March 1993, pp. 45-67.
- Felix Gaertner, "A Survey of Self-Stabilizing Spanning-Tree
Construction Algorithms," LPD Report 2003-017, Ecole Polytechnique
Federale de Lausanne. Available at
http://infoscience.epfl.ch/search.py?recid=52545