4. WSS 1999: Austin, Texas, USA

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