4. WSS 1999: Austin, Texas, USA

Anish Arora (Ed.): 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, June 5, 1999, Proceedings. IEEE Computer Society 1999, ISBN 0-7695-0228-8 BibTeX

@proceedings{DBLP:conf/wss/1999,
  editor    = {Anish Arora},
  title     = {1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas,
               June 5, 1999, Proceedings},
  booktitle = {WSS},
  publisher = {IEEE Computer Society},
  year      = {1999},
  isbn      = {0-7695-0228-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Adam M. Costello, George Varghese: The FDDI MAC meets self-stabilization. 1-9 BibTeX
Mohamed G. Gouda, Marco Schneider: Stabilization of maximal metric trees. 10-17 BibTeX
Sukumar Ghosh, Xin He: Scalable self-stabilization. 18-24 BibTeX
Shlomi Dolev, Ted Herman: Parallel composition of stabilizing algorithms. 25-32 BibTeX
Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar: A case-study in component-based mechanical verification of fault-tolerant programs. 33-40 BibTeX
Oliver E. Theel, Felix C. Gärtner: An exercise in proving convergence through transfer functions. 41-47 BibTeX
Mohamed G. Gouda, F. Furman Haddix: The alternator. 48-53 BibTeX
Shing-Tsaan Huang, Tzong-Jye Liu: Phase synchronization on asynchronous uniform rings with odd size. 54-61 BibTeX
Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno: Finite-state self-stabilizing protocols in message-passing systems. 62-69 BibTeX
Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil: Self-stabilizing census with cut-through constraint. 70-77 BibTeX
Alain Bui, Ajoy Kumar Datta, Franck Petit, Vincent Villain: State-optimal snap-stabilizing PIF in tree networks. 78-85 BibTeX
Augusto Ciuffoletti: Self-stabilizing clock synchronization in a hierarchical network. 86-93 BibTeX
Luc Onana Alima: Self-stabilizing max-heap. 94-101 BibTeX
Felix C. Gärtner, Henning Pagnia: Self-stabilizing load distribution for replicated servers on a per-access basis. 102-109 BibTeX