3. WSS 1997:
Santa Barbara,
California,
USA
Sukumar Ghosh, Ted Herman (Eds.):
3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, August, 1997, Proceedings.
Carleton University Press 1997, ISBN 0-88629-333-2 
- Sandeep S. Kulkarni, Anish Arora:
Compositional design of multitolerant repetitive byzantine agreement.
1-15
- Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko:
Development of self-stabilizing distributed algorithms using transformation: case studies.
16-30
- Mohamed G. Gouda, F. Furman Haddix:
The linear alternator.
31-47
- Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll:
Self-stabilizing L-exclusion.
48-63
- Joffroy Beauquier, Synnöve Kekkonen-Moneta:
On FTSS-solvable distributed problems.
64-79
- George Varghese:
Compositional proofs of self-stabilizing protocols.
80-94
- Anish Arora, Mohamed G. Gouda:
Delay-insensitive stabilization.
95-109
- Eiichiro Ueda, Yoshiaki Katayama, Toshimitsu Masuzawa, Hideo Fujiwara:
A latency-optimal superstabilizing mutual exclusion protocol.
110-124
- Colette Johnen:
Memory-efficient self-stabilizing algorithm to construct BFS spanning trees.
125-140
- Paolo Boldi, Sebastiano Vigna:
Self-stabilizing universal algorithms.
141-156
- Sukumar Ghosh, Sriram V. Pemmaraju:
Tradeoffs in fault-containing self-stabilization.
157-169
- Karlo Burket, Ruppert Koch:
Self-stabilizing multiple-sender/single-receiver protocol.
170-184
- Jorge Arturo Cobb, Mohamed Waris:
Propagated timestamps: a scheme for the stabilization of maximum-flow routing protocols.
185-200
- Yassine Lakhnech, Michael Siegel:
Deductive verification of stabilizing systems.
201-216
Copyright © Fri Nov 13 02:20:27 2009
by Michael Ley (ley@uni-trier.de)
