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

Last update Wed May 22 16:54:55 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page