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