[cs63201] materials and references on stabilization

[Mikhail Nesterenko]

AOS students,

I put up the slides on stabilization online. To get an idea for
stabilizing alternating bit protocol check this paper

	 R.R. Howell, M. Nesterenko, M. Mizuno "Finite-State
	 Self-Stabilizing Protocols in Message-Passing Systems"
	 http://www.cs.kent.edu/~mikhail/Research/ssbv.jpdc.ps

For Dijkstra's K-state token circulation algorithm, look at these two papers
By Dijkstra:

	- E.W. Dijkstra, "A Belated Proof of Self-Stabilization" 
	  Distributed Computing, Vol. 1, 1986, pp.5-6.
	- E.W. Dijkstra, "Self-stabilizing Systems in spite of 
          Distributed Control" Communications of the ACM, 17(11),
          pp. 643-644, November 1974

Thanks,
-- 
Mikhail