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