Last revised: 27 December 2002

**AG92**-
MS Abadir and MG Gouda.
The stabilizing computer.
In
*Proceedings of the 1992 International Conference on Parallel and Distributed Systems*, pages 90-96, 1992. **AD94**-
J Abello and S Dolev.
On the computational power of self-stabilizing systems.
*Journal of Computing and Information*, 1:585-603, 1994. **AD97c**-
J Abello and S Dolev.
On the computational power of self-stabilizing systems.
*Theoretical Computer Science*, 182:159-170, 1997. **ADHK01**-
U Abraham, S Dolev, T Herman, and I Koll.
Self-stabilizing L-exclusion.
*Theoretical Computer Science*, 266(1-2):653-692, 2001. **ADHK97**-
U Abraham, S Dolev, T Herman, and I Koll.
Self-stabilizing L-exclusion.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 48-63, 1997. **ACDKW96**-
H Abu-Amara, B Coan, S Dolev, A Kanevsky, and JL Welch.
Self-stabilizing topology maintenance protocols for high-speed networks.
*IEEE/ACM Transactions on Networking*, 4(6):902-912, 1996. **ACDKW94**-
H Abu-Amara, B Coan, S Dolev, A Kanevsky, and JL Welch.
A fault-tolerant layered approach to fiber-optic networks.
In
*High-Speed Networking and Multimedia Computing*, pages 380-390, 1994. AA Rodriguez, MS Chen, J Maitan, Editors, Proc. SPIE 2188. **AAGMRS97**-
Y Afek, B Awerbuch, E Gafni, Y Mansour, A Rosen, and N Shavit.
Slide - the key to polynomial end-to-end communication.
*Journal of Algorithms*, 22(1):158-186, 1997. **AB93a**-
Y Afek and GM Brown.
Self-stabilization over unreliable communication media.
*Distributed Computing*, 7(1):27-34, 1993. **AB98**-
Y Afek and A Bremler.
Self-stabilizing unidirectional network algorithms by power supply.
*Chicago Journal of Theoretical Computer Science*, 4(3):1-48, 1998.

CJTCS Article **AD02**-
Y Afek and S Dolev.
Local stabilizer.
*Journal of Parallel and Distributed Computing*, 62(5):745-765, 2002. **AGMT95**-
Y Afek, DS Greenberg, M Merritt , and G Taubenfeld.
Computing with faulty shared objects.
*Journal of the Association of the Computing Machinery*, 42:1231-1274, 1995. **AKY97**-
Y Afek, S Kutten, and M Yung.
The local detection paradigm and its applications to self-stabilization.
*Theoretical Computer Science*, 186, NUMBER="1-2:199-229, 1997. **AB97**-
Y Afek and A Bremler.
Self-stabilizing unidirectional network algorithms by power-supply.
In
*Proceedings of the Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA97)*, pages 111-120, 1997. **AD97a**-
Y Afek and S Dolev.
Local Stabilizer.
In
*Proceedings of the 5th Israeli Symposium on Theory of Computing and Systems*, pages 74-84, 1997. **AD97b**-
Y Afek and S Dolev.
Local Stabilizer.
In
*PODC97 Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 287, 1997. **AKY90**-
Y Afek, S Kutten, and M Yung.
Memory-efficient self-stabilization on general networks.
In
*WDAG90 Distributed Algorithms 4th International Workshop Proceedings, Springer LNCS:486*, pages 15-28, 1990. **AA96**-
A Agarwal and JW Atwood.
A unified approach to fault-tolerance in communication protocols based on recovery procedures.
*IEEE/ACM Transactions on Networking*, 4(5):785-795, 1996. **AK93**-
S Aggarwal and S Kutten.
Time optimal self-stabilizing spanning tree algorithm.
In
*FSTTCS93 Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Springer LNCS:761*, pages 400-410, 1993. **ADFT01**-
MK Aguilera, C Delporte-Gallet, H Fauconnier, and S Toueg.
Stable leader election.
In
*DISC01 Distributed Computing 15th International Symposium, Springer LNCS:2180*, pages 108-122, 2001. **ABMR93**-
W Aiello, B Awerbuch, B Maggs, and S Rao.
Approximate load balancing on dynamic and asynchronous networks.
In
*Proceedings of the 25th Annual ACM Symposium on Theory of Computing*, pages 632-641, 1993. **ABCD96**-
G Alari, B Bourgon, J Chacko, and A Kumar.
Adaptive distributed sorting.
In
*Proceedings of the 1996 IEEE 15th Annual International Phoenix Conference on Computers and Communications*, pages 1-7, 1996. **ABCDT98**-
G Alari, J Beauquier, J Chacko, AK Datta, and S Tixeuil.
Self-stabilizing distributed sorting.
In
*IEEE International Performance Computing and Communications Conference*, pages 37-43, 1998. **ABDJT98**-
G Alari, J Beauquier, AK Datta , C Johnen, and V Thiagarajan.
Fault-tolerant token passing algorithm on tree networks.
In
*IEEE International Performance Computing, and Communications Conference (IPCCC'98)*, pages 44-50, 1998. **AC93**-
G Alari and A Ciuffoletti.
Group membership in a synchronous distributed system.
In
*Proceedings of the 5th IEEE Symposium on Parallel and Distributed Processing*, pages 490-493, 1993. **AD96**-
G Alari and AK Datta.
Almost two-state self-stabilizing algorithm for token rings.
In
*Eighth IEEE Symposium on Parallel and Distributed Processing*, pages 52-59, 1996. **ADDL97**-
G Alari, AK Datta, J Derby, and J Lawrence.
Fault-tolerant hierarchical routing.
In
*IEEE 16th Annual International Phoenix Conference on Computers and Communications*, pages 159-165, 1997. **A99**-
LO Alima.
Self-stabilizing max-heap.
In
*Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems)*, pages 94-101, 1999. **ABDT98**-
LO Alima, J Beauquier, AK Datta, and S Tixeuil", .
Self-stabilization with global rooted synchronizers.
In
*ICDCS98 Proceedings of the 18th International Conference on Distributed Computing Systems*, pages 102-109, 1998. **AHOP94**- D Alstein, JH Hoepman, BE Olivier , and PIA van der Put. Self-stabilizing mutual exclusion on directed graphs. Technical Report CS-R9513, CWI, 1994. Published in Computer Science in the Netherlands (CSN 94), pages 45--53.
**ATT95**-
T Amisaki, Y Tsujino, and N Tokura.
Formal derivation of a probabilistically self-stabilizing program: leader election on a uniform tree.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 13.1-13.14, 1995. **AJL99**-
P Ammann, S Jajodia, and P Liu.
A fault tolerance approach to survivability.
In
*Proceedings of Computer Security, Dependability and Assurance: From Needs to Solutions*, pages 204-212, 1999. **AE91**-
E Anagnostou and R El-Yaniv.
More on the power of random walks: uniform self-stabilizing randomized algorithms (Preliminary Report).
In
*WDAG91 Distributed Algorithms 5th International Workshop Proceedings, Springer LNCS:579*, pages 31-51, 1991. **AEH92**-
E Anagnostou, R El-Yaniv, and V Hadzilacos.
Memory adaptive self-stabilizing protocols.
In
*WDAG92 Distributed Algorithms 6th International Workshop Proceedings, Springer LNCS:647*, pages 203-220, 1992. **AH93**-
E Anagnostou and V Hadzilacos.
Tolerating transient and permanent Failures.
In
*WDAG93 Distributed Algorithms 7th International Workshop Proceedings, Springer LNCS:725*, pages 174-188, 1993. **AS01**-
G Antonoiu and PK Srimani.
Self-stabilizing depth-first multi-token circulation in tree networks.
*Parallel Algorithms and Applications*, 16(1):17-35, 2001. **AS95b**-
G Antonoiu and PK Srimani.
A self-stabilizing distributed algorithm to construct an arbitrary spanning tree of a connected graph.
*Computers and Mathematics with Applications*, 30:1-7, 1995. **AS96**-
G Antonoiu and PK Srimani.
A self-stabilizing leader election algorithm for tree graphs.
*Journal of Parallel and Distributed Computing*, 34:227-232, 1996. **AS97b**-
G Antonoiu and PK Srimani.
A self-stabilizing distributed algorithm to find the center of a tree graph.
*Parallel Algorithms and Applications*, 10:237-248, 1997. **AS98**-
G Antonoiu and PK Srimani.
A self-stabilizing distributed algorithm for minimal spanning tree problem in a symmetric graph.
*Computers and Mathematics with Applications*, 35(10):15-23, 1998. **AS99b**-
S Antonoiu and PK Srimani.
Self-stabilizing protocol for mutual exclusion among neighboring nodes in a tree structured distributed system.
*Parallel Algorithms and Applications*, 14(1):1-18, 1999. **AS97a**-
G Antonoiu and PK Srimani.
Distributed self-stabilizing algorithm for minimum spanning tree construction.
In
*Euro-Par'97 Parallel Processing, Proceedings LNCS:1300*, pages 480-487, 1997. **AS98b**-
G Antonoiu and PK Srimani.
Mutual exclusion between neighboring nodes in a tree that stabilizes using read/write atomicity.
In
*Proceedings of EURO-PAR'98 Parallel Processing", PAGES ="545-553*, 1998. **AS99c**-
G Antonoiu and PK Srimani.
Mutual exclusion between neighboring nodes in an arbitrary system graph tree that stabilizes using read/write atomicity.
In
*Euro-Par'99 Parallel Processing, Proceedings LNCS:1685*, pages 823-830, 1999. **AAEG93**-
A Arora, P Attie, M Evangelist , and M Gouda.
Convergence of iteration Systems.
*Distributed Computing*, 7:43-53, 1993. **ADG91**-
A Arora, S Dolev, and MG Gouda.
Maintaining digital clocks in step.
*Parallel Processing Letters*, 1:11-18, 1991. **AG93**-
A Arora and MG Gouda.
Closure and convergence: a foundation of fault-tolerant computing.
*IEEE Transactions on Software Engineering*, 19:1015-1027, 1993. **AG94**-
A Arora and MG Gouda.
Distributed reset.
*IEEE Transactions on Computers*, 43(9):1026-1038, 1994. **AS95a**-
A Arora and A Singhai.
Fault-tolerant reconfiguration of trees and rings in networks.
*High Integrity Systems*, 1:375-384, 1995. **A94**-
A Arora.
Efficient reconfiguration of trees: a case study in the methodical design of nonmasking fault-tolerance.
In
*Proceedings of the 3rd International Symposium on Formal Techniques in Real Time and Fault-Tolerance*, pages 110-127, 1994. **AG95**-
A Arora and MG Gouda.
Load balancing: an exercise in constrained convergence.
In
*WDAG95 Distributed Algorithms 9th International Workshop Proceedings, Springer LNCS:972*, pages 183-197, 1995. **AG97**-
A Arora and MG Gouda.
Delay-insensitive stabilization.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 95-109, 1997. **AGH90**-
A Arora, MG Gouda, and T Herman.
Composite routing protocols.
In
*Proceedings of the 2nd IEEE Symposium on Parallel and Distributed Processing*, pages 70-78, 1990. **AGV94**-
A Arora, MG Gouda, and G Varghese.
Constraint satisfaction as a basis for designing nonmasking fault-tolerance.
In
*ICDCS94 Proceedings of the 14th International Conference on Distributed Computing Systems*, pages 424-431, 1994. **AK95**-
A Arora and SS Kulkarni.
Designing masking fault-tolerance via nonmasking fault-tolerance.
In
*SRDS95 Proceedings of the 14th Symposium on Reliable Distributed Systems*, pages 174-185, 1995. **AKD00**-
A Arora, S Kulkarni, and M Demirbas.
Resettable vector clocks.
In
*PODC00 Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 269-278, 2000. **AN01**-
A Arora and M Nesterenko.
Unifying stabilization and termination in message-passing systems.
In
*ICDCS01 The 21st IEEE International Conference on Distributed Computing Systems*, pages 99-106, 2001. **AP95**-
A Arora and DM Poduska.
A timing-based schema for stabilizing information exchange.
In
*Proceedings of the 1995 International Conference on Network Protocols*, pages 327-331, 1995. **ADW95**-
H Attiya, S Dolev, and JL Welch.
Connection management without retaining information.
*Information and Computation*, 123:155-171, 1995. **ACKMP98**-
B Awerbuch, I Cidon, S Kutten, Y Mansour, and D Peleg.
Optimal broadcast with partial knowledge.
*SIAM Journal on Computing*, 28(2):512-525, 1998. **APV96**-
B Awerbuch, B Patt-Shamir, and G Varghese.
Self-stabilizing end-to-end communication.
*Journal of High Speed Networks*, 5(4):365-381, 1996. **AKMPV93**-
B Awerbuch, S Kutten, Y Mansour , B Patt-Shamir, and G Varghese.
Time optimal self-stabilizing synchronization.
In
*STOC93 Proceedings of the 25th Annual ACM Symposium on Theory of Computing*, pages 652-661, 1993. **AO94**-
B Awerbuch and R Ostrovsky.
Memory-efficient and self-stabilizing network reset.
In
*PODC94 Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 254-263, 1994. **APSV94**-
B Awerbuch, B Patt-Shamir, and G Varghese.
Bounding the unbounded (distributed computing protocols).
In
*Proceedings IEEE INFOCOM 94 The Conference on Computer Communications*, pages 776-783, 1994. **APV91**-
B Awerbuch, B Patt-Shamir, and G Varghese.
Self-stabilization by local checking and correction.
In
*FOCS91 Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science*, pages 268-277, 1991. **APVD94**-
B Awerbuch, B Patt-Shamir, G Varghese , and S Dolev.
Self-stabilizing by local checking and global reset.
In
*WDAG94 Distributed Algorithms 8th International Workshop Proceedings, Springer LNCS:857*, pages 326-339, 1994. **AV91**-
B Awerbuch and G Varghese.
Distributed program checking: a paradigm for building self-stabilizing distributed protocols.
In
*FOCS91 Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science*, pages 258-267, 1991.

**BF93**-
G Barnes and U Feige.
Short random walks on graphs.
In
*STOC93 Proceedings of the 25th Annual ACM Symposium on Theory of Computing*, pages 728-737, 1993. **BG01**-
P Baroni and M Giacomin.
A distributed self-stabilizing algorithm for argumentation.
In
*Proceedings of the 15th International Parallel and Distributed Processing Symposium*, pages 8, 2001. **BYC88**-
F Bastani, I Yen, and I Chen.
A class of inherently fault tolerant distributed programs.
*IEEE Transactions on Software Engineering*, 14:1432-1442, 1988. **BY93**-
FB Bastani and IL Yen.
Inherent fault tolerance in decentralized process-control systems.
In
*International Symposium on Autonomous Decentralized Systems, Kawasaki Japan*, pages 267-274, 1993. **BYZ89**-
F Bastani, I Yen, and Y Zhao.
On self-stabilization, non-determinism and inherent fault tolerance.
In
*Proceedings of the MCC Workshop on Self-Stabilizing Systems, MCC Technical Report No. STP-379-89*, 1989. **BBFM01**-
J Beauquier, B Berard, L Fribourg, and F Magniette.
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages.
*Distributed Computing*, 14(2):83-95, 2001. **BGJOD02**-
J Beauquier, M Gradinariu, C Johnen, J Olivier, and J Durand-Lose.
Token-based self-stabilization uniform algorithms.
*Journal of Parallel and Distributed Computing*, 62(5):899-921, 2002. **BK97c**-
J Beauquier and S Kekkonen-Moneta.
Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors.
*International Journal of Systems Science*, 28(11):1177-1187, 1997. **B97**-
J Beauquier.
Proving self-stabilizing randomized protocols.
In
*International Conference On Principles Of DIstributed Systems, OPODIS'97*, pages 279-284, 1997. **BBF99**-
J Beauquier, B Berard, and L Fribourg.
A new rewrite method for proving convergence of self-stabilizing systems.
In
*DISC99 Distributed Computing 13th International Symposium, Springer LNCS:1693*, pages 240-253, 1999. **BCD95**-
J Beauquier, S Cordier, and S Delaet.
Optimum probabilistic self-stabilization on uniform rings.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 15.1-15.15, 1995. **BD93**-
J Beauquier and S Delaet.
Classes of self-stabilizing protocols.
In
*Proceedings of the Fourth Workshop on Future Trends of Distributed Computing Systems*, pages 361-366, 1993. **BD94**-
J Beauquier and S Delaet.
Probabilistic self-stabilizing mutual exclusion in uniform rings.
In
*PODC94 Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 378, 1994. **BD95**-
J Beauquier and O Debas.
An optimal self-stabilizing algorithm for mutual exclusion on bidirectional non uniform rings.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 17.1-17.13, 1995. **BDDT98**-
J Beauquier, S Delaet, S Dolev, and S Tixeuil.
Transient fault detectors.
In
*DISC98 Distributed Computing 12th International Symposium, Springer LNCS:1499*, pages 62-74, 1998. **BDGM00**-
J Beauquier, AK Datta, M Gradinariu, and F Magniette.
Self-stabilizing local mutual exclusion and daemon refinement.
In
*DISC00 Distributed Computing 14th International Symposium, Springer LNCS:1914*, pages 223-237, 2000. **BDK96**-
J Beauquier, O Debas, and S Kekkonen.
Fault-tolerant and self-stabilizing ring orientation.
In
*Structure, Information and Communication Complexity (SIROCCO96)*, pages 59-72, 1996. **BDKR96**-
J Beauquier, O Debas, S Kekkonen, and B Rozoy.
Self-stabilizing torus orientation.
In
*Ninth Conference on Parallel and Distributed Computing Systems*, pages 462-467, 1996. **BDT99**-
J Beauquier, AK Datta, and S Tixeuil.
Self-stabilizing census with cut-through constraints.
In
*Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems)*, pages 70-77, 1999. **BGJ01**-
J Beauquier, M Gradinariu, and C Johnen.
Cross-over composition - enforcement of fairness under unfair adversary.
In
*WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194*, pages 19-34, 2001. **BGJ99**-
J Beauquier, M Gradinariu, and C Johnen.
Memory space requirements for self-stabilizing leader election protocols.
In
*PODC99 Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 199-207, 1999. **BGK98**-
J Beauquier, C Genolini, and S Kutten.
k-stabilization of reactive tasks.
In
*PODC98 Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing*, pages 318, 1998. **BGK99**-
J Beauquier, C Genolini, and S Kutten.
Optimal reactive k-stabilization: the case of mutual exclusion.
In
*PODC99 Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 209-218, 1999. **BH02**-
J Beauquier and T Herault.
Fault-local stabilization : the shortest path tree.
In
*SRDS 2002 21st Symposium on Reliable Distributed Systems, IEEE Computer Society Press*, pages 60-69, 2002. **BHS01**-
J Beauquier, T Herault, and E Schiller.
Easy stabilization with an agent.
In
*WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194*, pages 35-50, 2001. **BK96**-
J Beauquier and S Kekkonen.
Making FTSS is hard.
In
*International Conference on Software Engineering (ICSE'96)*, pages 91-96, 1996. **BK97a**-
J Beauquier and S Kekkonen-Moneta.
On FTSS-solvable distributed problems.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 64-79, 1997. **JD95**-
J Beauquier and O Debas.
A self-stabilizing algorithm for mutual exclusion on bidirectional non uniform rings.
In
*European Research Seminar on Advanced Distributed Systems (ERSADS'95)*, pages 299-304, 1995. **BBCD02**-
F Belkouch, M Bui, LM Chen, and AK Datta.
Self-stabilizing deterministic network decomposition.
*Journal of Parallel and Distributed Computing*, 62(4):696-714, 2002. **BWB01**-
M Ben-Ezra, M Werman, and Y Bar-Yam.
A self stabilizing robust region finder applied to color and optimal flow pictures.
*Image and Vision Computing*, 19(7):427-433, 2001. **BP89a**-
P Bielkowicz and G Parr.
A loop-detect packet based self stabilizing bridge protocol for extended-LANs.
*ACM SIGCOMM Computer Communication Review*, 19(5):72-81, 1989. **BG95**-
KP Birman and BG Glade.
Reliability through consistency.
*IEEE Software*, pages 29-41, May, 1995. **BHHJ01**-
JRS Blair, SM Hedetniemi, ST Hedetniemi, and DP Jacobs.
Self-stabilizing maximum matchings.
*Congressus Numerantium*, 153:1521-1529, 2001. **BV02b**-
P Boldi and S Vigna.
Universal dynamic synchronous self-stabilization.
*Distributed Computing*, 15(3):137-153, 2002. **BV02a**-
P Boldi and S Vigna.
Holographic trees.
In
*LATIN02 Proceedings of the 5th Latin American Symposium on Theoretical INformatics, Springer LNCS:2286*, pages 465-478, 2002. **BV97**-
P Boldi and S Vigna.
Self-stabilizing universal algorithms.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 141-156, 1997. **BV99**-
P Boldi and S Vigna.
Computing anonymously with arbitrary knowledge.
In
*PODC99 Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 181-188, 1999. **BDDN95**-
B Bourgon, SK Das, AK Datta, and V Natarajan.
A self-stabilizing shortest path algorithm in a DAG.
In
*Proceedings of the IEEE 14th Annual International Phoenix Conference on Computers and Communication*, pages 341-345, 1995. **BDN95**-
B Bourgon, AK Datta, and V Natarajan.
A self-stabilizing ranking algorithm for tree structured networks.
In
*Proceedings of the IEEE 14th Annual International Phoenix Conference on Computers and Communication*, pages 23-31, 1995. **BK95**-
B Bourgon and AK Datta.
A self-stabilizing heap maintenance protocol.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 5.1-5.13, 1995. **B62**-
JR Bowman.
A transmission line leading to self-stabilizing systems.
In
*Principles of Self-Organization*, pages 417-424, 1962. **BH93**-
Y Brave and M Heymann.
On optimal attraction in discrete-event processes.
*Information Sciences*, 67:245-276, 1993. **BEGMMR90**-
JC Browne, AE Emerson, MG Gouda , D Miranker, A Mok, and LE Rosier.
Bounded-time fault-tolerant rule-based systems.
*Telematics and Informatics*, 7:441-454, 1990. **BGW89**-
GM Brown, MG Gouda, and CL Wu.
Token systems that self-stabilize.
*IEEE Transactions on Computers*, 38(6):845-852, 1989. **AB89a**-
GM Brown and Y Afek.
Self-stabilization of the alternating-bit protocol.
In
*Proceedings of the 16th Conference of Electrical and Electronics Engineers in Israel*, pages 1-4, 1989. **AB89b**-
GM Brown and Y Afek.
Self-stabilization of the alternating-bit protocol.
In
*Proceedings of the Eighth Symposium on Reliable Distributed Systems*, pages 80-83, 1989. **BGKP99**-
SC Bruell, S Ghosh, MH Karaata, and SV Pemmaraju.
Self-stabilizing algorithms for finding centers and medians of trees.
*SIAM Journal on Computing*, 29(2):600-614, 1999. **BDPV99**-
A Bui, AK Datta, F Petit, and V Villain.
State-optimal snap-stabilizing PIF in tree networks.
In
*Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems)*, pages 78-85, 1999. **BDPV99b**-
A Bui, AK Datta, F Petit, and V Villain.
Space optimal PIF algorithm: self-stabilized with no extra space.
In
*IEEE International Conference on Performance, Computing and Communications*, pages 20-26, 1999. **BK97b**-
K Burket and R Koch.
Self-stabilizing multiple-sender/single-receiver protocol.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 170-184, 1997. **BGM93a**-
JE Burns, MG Gouda, and RE Miller.
Stabilization and pseudo-stabilization.
*Distributed Computing*, 7:35-42, 1993. **BP89**-
JE Burns and J Pachl.
Uniform self-stabilizing rings.
*ACM Transactions on Programming Languages and Systems*, 11(2):330-344, 1989. **BGM89**-
JE Burns, MG Gouda, and RE Miller.
On relaxing interleaving assumptions.
In
*Proceedings of the MCC Workshop on Self-Stabilizing Systems, MCC Technical Report No. STP-379-89*, 1989. **BGW87**-
JE Burns, MG Gouda, and CL Wu.
A self-stabilizing token system.
In
*Proceedings of the 20th Annual International Conference on System Sciences*, pages 218-223, 1987. **B87**- JE Burns. Self-stabilizing rings without demons. Technical Report GIT-ICS-87/36, Georgia Tech, 1987.
**BB95**-
RW Buskens and RP Bianchini.
Self-stabilizing mutual exclusion in the presence of faulty nodes.
In
*FTCS95 Proceedings of the 25th IEEE Symposium on Fault-Tolerant Computing Systems*, pages 144-153, 1995. **BLB95**-
F Butelle, C Lavault, and M Bui.
A uniform self-stabilizing minimum diameter tree algorithm.
In
*WDAG95 Distributed Algorithms 9th International Workshop Proceedings, Springer LNCS:972*, pages 257-272, 1995.

**CDPV01b**-
S Cantarell, AK Datta, F Petit, and V Villain.
Optimal snap-stabilizing PIF in un-oriented trees.
In
*5th International Conference On Principles Of DIstributed Systems, OPODIS'2001*, pages ??-??, 2001. **CP00**-
S Cantarell and F Petit.
Self-stabilizing group mutual exclusion for asynchronous rings.
In
*4th International Conference On Principles Of DIstributed Systems, OPODIS'2000*, pages 71-90, 2000. **CS94**-
S Chandrasekar and PK Srimani.
A self-stabilizing algorithm to synchronize digital clocks in a distributed system.
*Computers and Electrical Engineering*, 20(6):439-444, 1994. **CS93a**-
S Chandrasekar and PK Srimani.
A self-stabilizing distributed algorithm for single-destination shortest path problem.
In
*Proceedings of the 1993 International Conference on Parallel and Distributed Systems, Taipei Taiwan*, pages 514-518, 1993. **CS93b**-
S Chandrasekar and PK Srimani.
A new fault tolerant distributed algorithm for longest paths in a DAG.
In
*Proceedings 4th International Symposium on Software Reliability Engineering*, pages 202-206, 1993. **CT91**-
TD Chandra and S Toueg.
Unreliable failure detectors for asynchronous systems.
In
*PODC91 Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing*, pages 325-340, 1991. **CGR87**-
EJH Chang, GH Gonnet, and D Rotem.
On the costs of self-stabilization.
*Information Processing Letters*, 24:311-316, 1987. **C99b**-
P Chaudhuri.
A self-stabilizing algorithm for detecting fundamental cycles in a graph.
*Journal of Computer and System Sciences*, 59:84-93, 1999. **C99c**-
P Chaudhuri.
A note on self-stabilizing articulation point detection.
*Journal of Systems Architecture*, 45:1249-1252, 1999. **C99d**-
P Chaudhuri.
An O(n 2)) self-stabilizing algorithm for computing bridge-connected components.
*Computing*, 62:55-67, 1999. **C99e**-
P Chaudhuri.
A self-stabilizing algorithm for minimum-depth search of graphs.
*Information Sciences*, 118(1-4):241-249, 1999. **C92**-
AMK Cheng.
Self-stabilizing real-time rule-based systems.
In
*SRDS92 Proceedings of the 11th Symposium on Reliable Distributed Systems*, pages 172-179, 1992. **CF00**-
AMK Cheng and S Fujii.
Bounded-response-time self-stabilizing OPS5 production systems.
In
*IPDPS'2000 Proceedings of the 14th International Parallel and Distributed Processing Symposium*, pages 399-404, 2000. **CYH91**-
NS Chen, HP Yu, and ST Huang.
A self-stabilizing algorithm for constructing spanning trees.
*Information Processing Letters*, 39:147-151, 1991. **CDT02**-
Y Chen, AK Datta, and S Tixeuil.
Stabilizing inter-domain routing in the internet.
In
*Proceedings of Euro-Par'02 Parallel Processing LNCS:2400*, pages 749-752, 2002. **CHR95**-
L Cherkasova, RR Howell, and LE Rosier.
Bounded self-stabilizing Petri nets.
*Acta Informatica*, 32:189-207, 1995. **CMN02**-
Y Chiao, M Mizuno, and ML Neilsen.
A self-stabilizing quorum-based protocol for maxima computing.
*Distributed Computing*, 15(1):49-55, 2002. **CL94**-
G Ciardo and C Lindemann.
Comments on `Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets'.
*IEEE Transactions on Computers*, 43(12):1453-1456, 1994. **CGK95**-
I Cidon, I Gopal, and S Kutten.
New models and algorithms for future networks.
*IEEE Transactions on Information Theory*, 41:769-780, 1995. **CK86**-
IA Cimet and PRS Kumar.
A resilient distributed protocol for network synchronization.
In
*SIGCOMM86 Proceedings of the ACM SIGCOMM Conference on Communications Architecture Protocols*, pages 358-367, 1986. **C00**-
A Ciuffoletti.
Brief announcement: self-stabilization - beyond the token ring circulation.
In
*PODC00 Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 333, 2000. **C94**-
A Ciuffoletti.
Using simple diffusion to synchronize clocks in a distributed system.
In
*Proceedings of the 1994 IEEE 14th International Conference on Distributed Computing Systems*, pages 484-491, 1994. **C99a**-
A Ciuffoletti.
Self-stabilizing clock synchronization in a hierarchical network.
In
**CG02**-
JA Cobb and MG Gouda.
Stabilization of general loop-free routing.
*Journal of Parallel and Distributed Computing*, 62(5):922-944, 2002. **CG01**-
JA Cobb and MG Gouda.
Stabilization of routing in directed networks.
In
*WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194*, pages 51-66, 2001. **CW97**-
JA Cobb and M Waris.
Propagated timestamps: a scheme for the stabilization of maximum-flow routing protocols.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 185-200, 1997. **CD94**-
Z Collin and S Dolev.
Self-stabilizing depth-first search.
*Information Processing Letters*, 49:297-301, 1994. **CDK99**-
Z Collin, R Dechter, and S Katz.
Self-stabilizing distributed constraint satisfaction.
*Chicago Journal of Theoretical Computer Science*, 1999(10):1-38, 1999.

CJTCS Article **CDK91**-
Z Collin, R Dechter, and S Katz.
On the feasibility of distributed constraint satisfaction.
In
*IJCAI91 Proceedings of the 12th International Joint Conference on Artificial Intelligence (Volume 1)*, pages 318-324, 1991. **CTW93**-
D Coppersmith, P Tetali, and P Winkler.
Collisions among random walks on a graph.
*SIAM Journal on Discrete Mathematics*, 6(3):363-374, 1993. **CV96**-
A Costello and G Varghese.
Self-stabilization by window washing.
In
*PODC96 Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 35-44, 1996. **CV99**-
AM Costello and G Varghese.
The FDDI MAC meets self-stabilization.
In
**CDPV01a**-
A Cournier, AK Datta, F Petit, and V Villain.
Self-stabilizing PIF algorithm in arbitrary rooted networks.
In
*ICDCS01 The 21st IEEE International Conference on Distributed Computing Systems*, pages 91-98, 2001. **CDPV02**-
A Cournier, AK Datta, F Petit, and V Villain.
Snap-stabilizing PIF algorithm in arbitrary networks.
In
*ICDCS02 The 22nd IEEE International Conference on Distributed Computing Systems*, pages 199-206, 2002. **CFG92**-
JM Couvreur, N Francez, and MG Gouda.
Asynchronous unison.
In
*ICDCS92 Proceedings of the 12th International Conference on Distributed Computing Systems*, pages 486-493, 1992.

**DWW86**-
IE Dammasch, GP Wagner, and JR Wolff.
Self-stabilization of neural networks I. The compensation algorithm for synaptogenesis.
*Biological Cybernetics*, 54:211-222, 1986. **DDT99a**-
SK Das, AK Datta, and S Tixeuil.
Self-stabilizing algorithms on DAG structured networks.
*Parallel Processing Letters*, 9(4):563-574, 1999. **DDT99b**-
S K Das, A K Datta, and S Tixeuil.
Self-stabilizing algorithms in DAG structured networks.
In
*I-SPAN'99, 5th International Symposium on Parallel Architectures, Algorithms and Networks Proceedings, IEEE Computer Society Press*, pages 190-195, 1999. **DDLT00**-
AK Datta, JL Derby, JE Lawrence, and S Tixeuil.
Stabilizing Hierarchical Routing.
*Journal of Interconnexion Networks*, 1(4):283-302, 2000. **DFT97**-
AK Datta, M Flatebo, and V Thiagarajan.
Simulation of self-stabilizing algorithms.
*Computer Systems Science and Engineering*, 12(5):295-306, 1997. **DJPV00**-
AK Datta, C Johnen, F Petit, and V Villain.
Self-stabilizing depth-first token circulation in arbitrary rooted networks.
*Distributed Computing*, 13(4):207-218, 2000. **DT01b**-
AK Datta and S Tixeuil.
Self-stabilizing distributed sorting on tree networks.
*Parallel Algorithms and Applications*, 16(1):1-15, 2001. **BK94**-
AK Datta and B Bourgon.
A self-stabilizing quickest path routing algorithm.
In
*IEEE 13th Annual International Phoenix Conference on Computers and Communications*, pages 255, 1994. **DGPV00**-
AK Datta, S Gurumurthy, F Petit, and V Villain.
Self-stabilizing network orientation algorithms in arbitrary rooted networks.
In
*ICDCS00 The 20th IEEE International Conference on Distributed Computing Systems*, pages 576-583, 2000. **DGT00**-
AK Datta, M Gradinariu, and S Tixeuil.
Self-stabilizing mutual exclusion using unfair distributed scheduler.
In
*IPDPS'2000 Proceedings of the 14th International Parallel and Distributed Processing Symposium*, pages 465-470, 2000. **DGT95**-
AK Datta, TF Gonzalez, and V Thiagarajan.
Self-stabilizing algorithms for tree metrics.
In
*ICAPP95 IEEE First International Conference on Algorithms and Architectures for Parallel Processing*, pages 471-479, 1995. **DJPV98**-
AK Datta, C Johnen, F Petit, and V Villain.
Self-stabilizing depth-first token circulation in arbitrary rooted network.
In
*5th International Colloquium on Structural Information and Communication Complexity (SIROCCO'98)*, pages 32-46, 1998. **DTOF94**-
AK Datta, V Thiagarajan, E Outley , and M Flatebo.
Stabilization of the X.25 connection management protocol.
In
*ICCI94 Sixth International Conference on Computing and Information*, pages 1637-1654, 1994. **D95a**-
XA Debest.
Remark about self-stabilizing systems.
*Communications of the Association of the Computing Machinery*, 38(2):115-117, 1995. **D95b**-
S Delaet.
Algorithme d'exclusion mutuelle auto-stabilisant sur un reseau unidirectionel quelconque.
*Journ'{e}es des Jeunes Chercheurs en Syst\`{e}mes Informatiques R\'{e}partis*, ?:??-??, 1995. **DT02**-
S Delaet and S Tixeuil.
Tolerating transient and intermittent failures.
*Journal of Parallel and Distributed Computing*, 62(5):961-981, 2002. **DT98b**-
S Delaet and S Tixeuil.
Un algorithme auto-stabilisant en depit de communications non fiables.
*Technique et Science Informatiques*, 5(17), 1998. **DT00**-
S Delaet and S Tixeuil.
Tolerating transient and intermittent failures.
In
*4th International Conference On Principles Of DIstributed Systems, OPODIS'2000*, pages 17-26, 2000. **DT97**-
S Delaet and S Tixeuil.
Auto-stabilisation en depit de communications non fiables.
In
*Acte des 9-emes Roncontres Francophones du Parallelisme (RENPAR'97)*, pages ??-??, 1997. **DA02**-
M Demibas and A Arora.
Convergence refinement.
In
*ICDCS02 The 22nd IEEE International Conference on Distributed Computing Systems*, pages 589-597, 2002. **DKVW95**-
J Desel, E Kindler, T Vesper, and R Walter.
A simplified proof for a self-stabilizing protocol: a game of cards.
*Information Processing Letters*, 54:327-328, 1995. **DO93**-
D Deugo and F Oppacher.
Achieving self-stabilization in a distributed system using evolutionary strategies.
In
*Artificial Neural Nets and Genetic Algorithms, Proceedings of the International Conference*, pages 400-407, 1993. **D74**-
EW Dijkstra.
Self stabilizing systems in spite of distributed control.
*Communications of the Association of the Computing Machinery*, 17(11):643-644, 1974. **D86**-
EW Dijkstra.
A belated proof of self-stabilization.
*Distributed Computing*, 1:5-6, 1986. **D73a**-
EW Dijkstra.
EWD386 The solution to a cyclic relaxation problem.
In
*Selected Writings on Computing: A Personal Perspective*, pages 34-35, 1982. EWD386's original date is 1973. **D73b**-
EW Dijkstra.
EWD391 Self-stabilization in spite of distributed control.
In
*Selected Writings on Computing: A Personal Perspective*, pages 41-46, 1982. EWD391's original date is 1973. **D97**-
S Dolev.
Possible and impossible self-stabilizing digital clock synchronization in general graphs.
*Journal of Real-Time Systems*, 12(1):95-107, 1997. **D97b**-
S Dolev.
Self-stabilizing routing and related protocols.
*Journal of Parallel and Distributed Computing*, 42(2):122-127, 1997. **D98b**-
S Dolev.
Optimal time self-stabilization in uniform dynamic systems.
*Parallel Processing Letters*, 8(1):7-18, 1998. **DGS99**-
S Dolev, MG Gouda, and M Schneider.
Memory requirements for silent stabilization.
*Acta Informatica*, 36(6):447-462, 1999. **DH97**-
S Dolev and T Herman.
Superstabilizing protocols for dynamic distributed systems.
*Chicago Journal of Theoretical Computer Science*, 3(4), 1997.

CJTCS Article **DIM93**-
S Dolev, A Israeli, and S Moran.
Self-stabilization of dynamic systems assuming only read/write atomicity.
*Distributed Computing*, 7(1):3-16, 1993. **DIM95**-
S Dolev, A Israeli, and S Moran.
Analyzing expected time by scheduler-luck games.
*IEEE Transactions on Software Engineering*, 21:429-439, 1995. **DIM97a**-
S Dolev, A Israeli, and S Moran.
Uniform dynamic self-stabilizing leader election.
*IEEE Transactions on Parallel and Distributed Systems*, 8(4):424-440, 1997. **DIM97b**-
S Dolev, A Israeli, and S Moran.
Resource bounds for self-stabilizing message-driven protocols.
*SIAM Journal on Computing*, 26(1):273-290, 1997. **DPW96**-
S Dolev, DK Pradhan, and JL Welch.
Modified tree structure for location management in mobile environments.
*Computer Communications*, 19:335-345, 1996. **DW97a**-
S Dolev and JL Welch.
Crash resilient communication in dynamic networks.
*IEEE Transactions on Computers*, 46(1):14-26, 1997. **DW97b**-
S Dolev and JL Welch.
Wait-free clock synchronization.
*Algorithmica*, 18(4):486-511, 1997. **D00**-
S Dolev.
*Self-Stabilization*. MIT Press, 2000. **D93**-
S Dolev.
Optimal time self-stabilization in dynamic systems.
In
*WDAG93 Distributed Algorithms 7th International Workshop Proceedings, Springer LNCS:725*, pages 160-173, 1993. **D94**-
S Dolev.
Optimal time self-stabilization in uniform dynamic systems.
In
*6th IASTED International Conference on Parallel and Distributed Computing and Systems*, pages 25-28, 1994. **DGS96**-
S Dolev, MG Gouda, and M Schneider.
Memory requirements for silent stabilization.
In
*PODC96 Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 27-34, 1996. **DH01**-
S Dolev and T Herman.
Dijkstra's self-stabilizing algorithm in unsupportive environments.
In
**DH95a**-
S Dolev and T Herman.
Superstabilizing protocols for dynamic distributed systems.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 3.1-3.15, 1995. **DH99**-
S Dolev and T Herman.
Parallel composition of stabilizing algorithms.
In
**DIM89**-
S Dolev, A Israeli, and S Moran.
Self stabilization of dynamic systems.
In
*Proceedings of the MCC Workshop on Self-Stabilizing Systems, MCC Technical Report No. STP-379-89*, 1989. **DIM89b**-
S Dolev, A Israeli, and S Moran.
Self stabilization of dynamic systems.
In
*Proceedings of the 16th Conference of Electrical and Electronics Engineers in Israel*, pages 1-4, 1989. **DIM91a**-
S Dolev, A Israeli, and S Moran.
Uniform dynamic self-stabilizing leader election.
In
*WDAG91 Distributed Algorithms 5th International Workshop Proceedings, Springer LNCS:579*, pages 167-180, 1991. **DIM91b**-
S Dolev, A Israeli, and S Moran.
Resource bounds for self stabilizing message driven protocols.
In
*PODC91 Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing*, pages 281-293, 1991. **DK02**-
S Dolev and R Kat.
Self-stabilizing distributed file systems.
In
*RCDS 2002 Internatinal Workshop on Self-Repairing and Self-Configurable Distributed Systems*, pages 384-389, 2002. **DPW95**-
S Dolev, DK Pradhan, and JL Welch.
Modified tree structure for location management in mobile environments.
In
*Proceedings of the 14th Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM'95)*, pages 530-537, 1995. **DR00**-
S Dolev and S Rajsbaum.
Stability of long-lived consensus.
In
*PODC00 Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 309-318, 2000. **DS01**-
S Dolev and E Schiller.
Communication adaptive self-stabilizing group membership service.
In
**DSW02**-
S Dolev, E Schiller, and J Welch.
Random walk for self-stabilizing group communication in ad-hoc networks.
In
*SRDS 2002 21st Symposium on Reliable Distributed Systems, IEEE Computer Society Press*, pages 70-79, 2002. **DW93a**-
S Dolev and JL Welch.
Wait-free clock synchronization.
In
*PODC93 Proceedings of the Twelfth Annual ACM Symposium on Principles of Distributed Computing*, pages 97-107, 1993. **DW95**-
S Dolev and JL Welch.
Self-stabilizing clock synchronization in the presence of byzantine faults.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 9.1-9.12, 1995. **D00b**-
SC Douglas.
Self-stabilized gradient algorithms for blind source separation with orthogonality constraints.
*IEEE Transactions on Neural Networks*, 11(6):1490-1497, 2000. **DT01**-
B Ducourthial and S Tixeuil.
Self-stabilization with r-operators.
*Distributed Computing*, 14(3):147-162, 2001. **BT00**-
B Ducourthial and S Tixeuil.
Self-stabilization with path algebra.
In
*Proceedings of the 6th International Colloquium on Structural Information and Communication Complexity (SIROCCO'2000)*, pages 95-110, 2000. **DT98**-
B Ducourthial and S Tixeuil.
Self-stabilizing global computations with r-operators.
In
*2nd International Conference On Principles Of DIstributed Systems, OPODIS'98*, pages 99-113, 1998. **DFN01**-
M Duflot, L Fribourg, and U Nilsson.
Unavoidable configurations of parameterized rings of processes.
In
*CONCUR01 Proceedings of the 12th International Conference on Concurrency Theory, Springer LNCS:2154*, pages 472-486, 2001. **DFP01**-
M Duflot, L Fribourg, and C Picaronny.
Randomized finite-state distributed algorithms as Markov chains.
In
*DISC01 Distributed Computing 15th International Symposium, Springer LNCS:2180*, pages 240-254, 2001. **D00a**-
J Durand-Lose.
Randomized uniform self-stabilizing mutual exclusion.
*Information Processing Letters*, 74(5-6):203-207, 2000. **D98**-
J Durand-Lose.
Randomized uniform self-stabilization mutual exclusion.
In
*2nd International Conference On Principles Of DIstributed Systems, OPODIS'98*, pages 89-98, 1998.

**ED98**-
O Etzion and B Dahav.
Patterns of self-stabilization in database consistency maintenance.
*Data and Knowledge Engineering*, 28:299-319, 1998. **ER95**-
S Even and S Rajsbaum.
Unison, canon and sluggish clocks in networks controlled by a synchronizer.
*Mathematical Systems Theory*, 28:421-435, 1995.

**FGLLS96**-
A Fekete, D Gupta, V Luchangco , N Lynch, and A Shvartsman.
Eventually-serializable data services.
In
*PODC96 Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 300-309, 1996. **FJ01**-
FE Fich and C Johnen.
A space optimal, deterministic, self-stabilizing, leader election algorithm for unidirectional rings.
In
*DISC01 Distributed Computing 15th International Symposium, Springer LNCS:2180*, pages 224-239, 2001. **FMRT90**-
M Fischer, S Moran, S Rudich, and G Taubenfeld.
The wakeup problem.
In
*STOC90 Proceedings of the 22th Annual ACM Symposium on Theory of Computing*, pages 106-116, 1990. **FD94**-
M Flatebo and AK Datta.
Two-state self-stabilizing algorithms for token rings.
*IEEE Transactions on Software Engineering*, 20:500-504, 1994. **FDS94**-
M Flatebo, AK Datta, and AA Schoone.
Self-stabilizing multi-token rings.
*Distributed Computing*, 8:133-142, 1994. **FDG94**-
M Flatebo, AK Datta, and S Ghosh.
Self-stabilization in distributed systems.
In
*Readings in Distributed Computing Systems*, pages 100-114, 1994. TL Casavant and M Singal, Editors. **FD92**-
M Flatebo and AK Datta.
Self-stabilizing deadlock detection algorithms.
In
*Proceedings of the 1992 ACM Annual Conference on Communications*, pages 117-122, 1992. **FD92b**-
M Flatebo and AK Datta.
Simulation of self-stabilizing algorithms in distributed systems.
In
*Proceedings of the 25th Annual Simulation Symposium*, pages 32-41, 1992. **FD93a**-
M Flatebo and AK Datta.
Self-stabilizing load balancing for an arbitrary network.
In
*ICYCS93 Young Computer Scientists. Proceedings of the 3rd International Conference*, pages 743-746, 1993. **FD93b**-
M Flatebo and AK Datta.
A self-stabilizing deadlock prevention algorithm.
In
*Sixth International Conference on Parallel and Distributed Computing Systems*, pages 64-73, 1993. **FDB94**-
M Flatebo, AK Datta, and B Bourgon.
Self-stabilizing load balancing algorithms.
In
*IEEE 13th Annual International Pheonix Conference on Computers and Communications*, pages 303, 1994. **FV97a**-
O Flauzac and V Villain.
An implementable dynamic automatic self-stabilizing protocol.
In
*I-SPAN'97, Third International Symposium on Parallel Architectures, Algorithms and Networks Proceedings, IEEE Computer Society Press*, pages 91-97, 1997. **FNK99a**-
Y Fukuoka, H Nakamura, and H Kimura.
Biologically-inspired adaptive dynamic walking of the quadruped on irregular terrain.
In
*Proceedings of the 1999 IEEE International Conference on Control Applications*, pages 490-495, 1999. **FNK99b**-
Y Fukuoka, H Nakamura, and H Kimura.
Biologically-inspired adaptive dynamic walking of the quadruped on irregular terrain.
In
*Proceedings of the 1999 IEEE/RSJ International Conference on Intelligent Robots and Systems*, pages 1657-1662, 1999.

**GKL78**-
P Gacs, GL Kurdiumov, and L Levin.
One-dimensional uniform arrays that wash out finite islands.
*Problems of Information Transmission*, 14:223-226, 1978. **G95a**-
P Gacs.
Asynchronous fault-tolerant one-dimensional cellular automata.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 6.1-6.13, 1995. **G99**-
FC Gartner.
Fundamentals of fault-tolerant distributed computing in asynchronous environments.
*ACM Computing Surveys*, 31(1):1-26, 1999. **GP01**-
FC Gartner and S Pleisch.
(Im)possibilities of predicate detection in crash-affected systems.
In
**GP99**-
FC Gartner and H Pagnia.
Self-stabilizing load distribution for replicated servers on a per-access basis.
In
**G00b**-
C Genolini.
Optimal k-stabilization: the case of synchronous mutual exclusion.
In
*PDCS-00 13th International Conference on Parallel and Distributed Computing Systems Proceedings*, pages 371-376, 2000. **GT02**-
C Genolini and S Tixeuil.
A lower bound on dynamic k-stabilization in asynchronous systems.
In
*SRDS 2002 21st Symposium on Reliable Distributed Systems, IEEE Computer Society Press*, pages 211-221, 2002. **G91a**-
S Ghosh.
Binary self-stabilization in distributed systems.
*Information Processing Letters*, 40:153-159, 1991. **G93**-
S Ghosh.
An alternative solution to a problem on self-stabilization.
*ACM Transactions on Programming Languages and Systems*, 15(4):735-742, 1993. **GG96**-
S Ghosh and A Gupta.
An exercise in fault-containment: self-stabilizing leader election.
*Information Processing Letters*, 59:281-288, 1996. **GGP96**-
S Ghosh, A Gupta, and SV Pemmaraju.
A fault-containing self-stabilizing algorithm for spanning trees.
*Journal of Computing and Information*, 2:322-338, 1996. **GGP97**-
S Ghosh, A Gupta, and SV Pemmaraju.
A self-stabilizing algorithm for the maximum flow problem.
*Distributed Computing*, 10(4):167-180, 1997. **GH00**-
S Ghosh and X He.
Fault-containing self-stabilization using priority scheduling.
*Information Processing Letters*, 73(3-4):145-151, 2000. **GH02**-
S Ghosh and X He.
Scalable self-stabilization.
*Journal of Parallel and Distributed Computing*, 62(5):945-960, 2002. **GK93a**-
S Ghosh and MH Karaata.
A self-stabilizing algorithm for coloring planar graphs.
*Distributed Computing*, 7:55-59, 1993. **G00**-
S Ghosh.
Agents, distributed algorithms, and stabilization.
In
*Computing and Combinatorics (COCOON'2000), Springer LNCS:1858*, pages 242-251, 2000. **G01a**-
S Ghosh.
Cooperating mobile agents and stabilization.
In
**G91b**-
S Ghosh.
Stabilizing Petri nets.
In
*3rd IEEE Symposium on Parallel and Distributed Systems*, pages 352-356, 1991. **GGHP96**-
S Ghosh, A Gupta, T Herman, and SV Pemmaraju.
Fault-containing self-stabilizing algorithms.
In
*PODC96 Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 45-54, 1996. **GGKP95**-
S Ghosh, A Gupta, and MH Karaata SV Pemmaraju.
Self-stabilizing dynamic programming algorithms on trees.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 11.1-11.15, 1995. **GGP95**-
S Ghosh, A Gupta, and SV Pemmaraju.
A self-stabilizing algorithm for the maximum flow problem.
In
*Proceedings of the IEEE 14th Annual International Phoenix Conference on Computers and Communication*, pages 8-14, 1995. **GH99a**-
S Ghosh and X He.
Scalable self-stabilization.
In
**GP97**-
S Ghosh and SV Pemmaraju.
Tradeoffs in fault-containing self-stabilization.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 157-169, 1997. **G02**-
E Godard.
A self-stabilizing enumeration algorithm.
*Information Processing Letters*, 82(6):299-305, 2002. **G82**-
E Goles.
Fixed point behavior of threshold functions on a finite set.
*SIAM Journal on Algebraic and Discrete Methods*, 3:529-531, 1982. **GP93**-
AS Gopal and KJ Perry.
Unifying self-stabilization and fault-tolerance.
In
*PODC93 Proceedings of the Twelfth Annual ACM Symposium on Principles of Distributed Computing*, pages 195-206, 1993. **G94**-
MG Gouda.
Stabilizing observers.
*Information Processing Letters*, 52:99-103, 1994. **GH90**-
MG Gouda and T Herman.
Stabilizing unison.
*Information Processing Letters*, 35:171-175, 1990. **GH91**-
MG Gouda and T Herman.
Adaptive programming.
*IEEE Transactions on Software Engineering*, 17:911-921, 1991. **GH96**-
MG Gouda and FF Haddix.
The stabilizing token ring in three bits.
*Journal of Parallel and Distributed Computing*, 35(1):43-48, 1996. **GHR90**-
MG Gouda, RR Howell, and LE Rosier.
The instability of self-stabilization.
*Acta Informatica*, 27:697-724, 1990. **GM91**-
MG Gouda and N Multari.
Stabilizing communication protocols.
*IEEE Transactions on Computers*, 40(4):448-458, 1991. **G01b**-
MG Gouda.
The theory of weak stabilization.
In
**G95b**-
MG Gouda.
The triumph and tribulation of system stabilization.
In
*WDAG95 Distributed Algorithms 9th International Workshop Proceedings, Springer LNCS:972*, pages 1-18, 1995. **GE90**-
MG Gouda and M Evangelist.
Convergence/response tradeoffs in concurrent systems.
In
*Proceedings of the 2nd IEEE Symposium on Parallel and Distributed Processing*, pages 188-192, 1990. **GH97**-
MG Gouda and F Haddix.
The linear alternator.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 31-47, 1997. **GH99b**-
MG Gouda and F Haddix.
The alternator.
In
**GHA01**-
MG Gouda, CT Huang, and A Arora.
On the security and vulnerability of Ping.
In
**GS94**-
MG Gouda and M Schneider.
Stabilization of maximum flow trees.
In
*Proceedings of the 3rd Annual Joint Conference on Information Sciences*, pages 178-181, 1994. **GS95**-
MG Gouda and M Schneider.
Maximum flow routing.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 2.1-2.13, 1995. **GS99**-
MG Gouda and M Schneider.
Stabilization of maximal metric trees.
In
**GJ01**-
M Gradinariu and C Johnen.
Self-stabilizing neighborhood unique naming under unfair scheduler.
In
*Euro-Par'01 Parallel Processing, Proceedings LNCS:2150*, pages 458-465, 2001. **GT00**-
M Gradinariu and S Tixeuil.
Self-stabilizing vertex coloration of arbitary graphs.
In
*4th International Conference On Principles Of DIstributed Systems, OPODIS'2000*, pages 55-70, 2000. **GT01**-
M Gradinariu and S Tixeuil.
Tight space self-stabilizing uniform l-mutual exclusion.
In
*ICDCS01 The 21st IEEE International Conference on Distributed Computing Systems*, pages 83-90, 2001. **GBS00,**-
SKS Gupta, A Bouabdallah, and PK Srimani.
Self-stabilizing protocol for shortest path tree for multi-cast routing in mobile networks (research note).
In
*Euro-Par'00 Parallel Processing, Proceedings LNCS:1900*, pages 600-604, 2000. **GS99b**-
SKS Gupta and PK Srimani.
Using self-stabilization to design adaptive multicast protocol for mobile ad hoc networks.
In
*Proceedings of the DIMACS Workshop on Mobile Networks and Computing*, pages 67-84, 1999. **GS99c**-
SKS Gupta and PK Srimani.
Mobility tolerant maintenance of multi-cast tree in mobile multi-hop radio networks.
In
*Proceedings of the 1999 International Conference on Parallel Processing*, pages 490-497, 1999. **GA02**-
S Gustavsson and SF Andler.
Self-stabilization and eventual consistency in replicated real-time databases.
In
*Proceedings of the First ACM Workshop on Self-Healing Systems*, pages 105-107, 2002. **AS99**-
G Antonoiu G and PK Srimani.
A self-stabilizing distributed algorithm to find the median of a tree graph.
*Journal of Computer and System Sciences*, 58:215-221, 1999.

**HK85**- RW Haddad and DE Knuth. A programming and problem-solving seminar. Technical Report STAN-CS-85-1055, Stanford, 1985.
**H91**- FF Haddix. Stabilization of bounded token rings. Technical Report ARL-TR-91-31, Applied Research Laboratories, The University of Texas at Austin, 1991.
**H02**-
R Hadid.
Space and time efficient self-stabilizing $ll$-exclusion in tree networks.
*Journal of Parallel and Distributed Computing*, 62(5):843-864, 2002. **H00c**-
R Hadid.
Space and time efficient self-stabilizing and l-exclusion in tree networks.
In
*IPDPS'2000 Proceedings of the 14th International Parallel and Distributed Processing Symposium*, pages 529-534, 2000. **HV01**-
R Hadid and V Villain.
A new efficient tool for the design of self-stabilizing l-exclusion algorithms: the controller.
In
**HP01b**-
Y Hassin and D Peleg.
Distributed probabilistic polling and applications to proportionate agreement.
*Information and Computation*, 171(2):248-268, 2001. **HP99**-
Y Hassin and D Peleg.
Distributed probabilistic polling and applications to proportionate agreement.
In
*ICALP99 26th International Colloquium on Automata, Languages, and Programming, Springer LNCS:1644*, pages 402-411, 1999. **HJS01**-
ST Hedetniemi, DP Jacobs, and PK Srimani.
Maximal matching stabilizes in time O(m).
*Information Processing Letters*, 80(5):221-223, 2001. **HT01**-
M Herlihy and S Tirthapura.
Self stabilizing distributed queuing.
In
*DISC01 Distributed Computing 15th International Symposium, Springer LNCS:2180*, pages 209-223, 2001. **H00**-
T Herman.
Superstabilizing mutual exclusion.
*Distributed Computing*, 13(1):1-17, 2000. **H00b**-
T Herman.
Phase clocks for transient fault repair.
*IEEE Transactions on Parallel and Distributed Systems*, 11(10):1048-1057, 2000. **H90**-
T Herman.
Probabilistic self-stabilization.
*Information Processing Letters*, 35:63-67, 1990. **H92b**-
T Herman.
Self-stabilization: randomness to reduce space.
*Distributed Computing*, 6:95-98, 1992. **HG95**-
T Herman and S Ghosh.
Stabilizing phase-clocks.
*Information Processing Letters*, 54:259-265, 1995. **HP00**-
T Herman and S Pemmaraju.
Error-detecting codes and fault-containing self-stabilization.
*Information Processing Letters*, 73(1-2):41-46, 2000. **H98**-
T Herman.
A stabilizing repair timer.
In
*DISC98 Distributed Computing 12th International Symposium, Springer LNCS:1499*, pages 186-200, 1998. **HM01a**-
T Herman and T Masuzawa.
Self-stabilizing agent traversal.
In
**HM01b**-
T Herman and T Masuzawa.
Stabilizing replicated search trees.
In
*DISC01 Distributed Computing 15th International Symposium, Springer LNCS:2180*, pages 315-329, 2001. **HP01**-
T Herman and I Pirwani.
A composite stabilizing data structure.
In
**H92a**-
A Herzberg.
Connection-based communication in dynamic networks.
In
*PODC92 Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing*, pages 13-24, 1992. **HL01b**-
L Higham and Z Liang.
Self-stabilizing minimum spanning tree construction on message-passing systems.
In
*DISC01 Distributed Computing 15th International Symposium, Springer LNCS:2180*, pages 194-208, 2001. **HM98**-
L Higham and S Myers.
Self-stabilizing token circulation on anonymous message passing.
In
*2nd International Conference On Principles Of DIstributed Systems, OPODIS'98*, pages 115-128, 1998. **H98a**-
JH Hoepman.
Self-stabilizing ring orientation using constant space.
*Information and Computation*, 144(1):18-39, 1998. **HPT02**-
JH Hoepman, M Papatriantafilou, and P Tsigas.
Self-stabilization of wait-free shared memory objects.
*Journal of Parallel and Distributed Computing*, 62(5):818-842, 2002. **H94**-
JH Hoepman.
Uniform deterministic self-stabilizing ring-orientation on odd-length rings.
In
*WDAG94 Distributed Algorithms 8th International Workshop Proceedings, Springer LNCS:857*, pages 265-279, 1994. **HPT95**-
JH Hoepman, M Papatriantafilou, and P Tsigas.
Self-stabilization of wait-free shared memory objects.
In
*WDAG95 Distributed Algorithms 9th International Workshop Proceedings, Springer LNCS:972*, pages 273-287, 1995. **HP92**-
D Hoover and J Poole.
A distributed self-stabilizing solution to the dining philosophers problem.
*Information Processing Letters*, 41:209-213, 1992. **HR96**-
HJ Hoover and P Rudnicki.
Uniform self-stabilizing orientation of unicyclic networks under read/write atomicity.
*Chicago Journal of Theoretical Computer Science*, 2(5), 1996.

CJTCS Article **H95**-
HJ Hoover.
On the self-stabilization of processors with continuous states.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 8.1-8.15, 1995. **HNM02**-
RR Howell, M Nesterenko, and M Mizuno.
Finite-state self-stabilizing protocols in message-passing systems.
*Journal of Parallel and Distributed Computing*, 62(5):792-817, 2002. **HNM99**-
RR Howell, M Nesterenko, and M Mizuno.
Finite-state self-stabilizing protocols in message-passing systems.
In
**HH92**-
SC Hsu and ST Huang.
A self-stabilizing algorithm for maximal matching.
*Information Processing Letters*, 43:77-81, 1992. **HH92b**-
SC Hsu and ST Huang.
Analyzing self-stabilization with finite-state machine model.
In
*Proceedings of the 12th International Conference on Distributed Computing Systems*, pages 624-631, 1992. **H93**-
ST Huang.
Leader election in uniform rings.
*ACM Transactions on Programming Languages and Systems*, 15:563-573, 1993. **HC01**-
ST Huang and BW Chen.
Optimal 1-fair alternators.
*Information Processing Letters*, 80(3):159-163, 2001. **HC92**-
ST Huang and NS Chen.
A self-stabilizing algorithm for constructing breadth-first trees.
*Information Processing Letters*, 41:109-117, 1992. **HC93**-
ST Huang and NS Chen.
Self-stabilizing depth-first token circulation on networks.
*Distributed Computing*, 7(1):61-66, 1993. **HL01a**-
ST Huang and TJ Liu.
Phase synchronization on asynchronous uniform rings with odd size.
*IEEE Transactions on Parallel and Distributed Systems*, 12(6):638-652, 2001. **HL02**-
TC Huang and JC Lin.
A self-stabilizing algorithm for the shortest path problem in a distributed system.
*Computers and Mathematics with Applications*, 43(1-2):103-109, 2002. **HL98**-
ST Huang and TJ Liu.
Four-state stabilizing phase clock for unidirectional rings of odd size.
*Information Processing Letters*, 65(6):325-329, 1998. **HL99**-
ST Huang and TJ Liu.
Self-stabilizing 2m-clock for unidirectional rings of odd size.
*Distributed Computing*, 12(1):41-46, 1999. **HL99b**-
ST Huang and TJ Liu.
Self-stabilizing 2(m)-clock for unidirectional rings of odd size.
*Distributed Computing*, 12:41-46, 1999. **HLC00**-
TC Huang, JC Lin, and HJ Chen.
A self-stabilizing algorithm which finds a 2-center of a tree.
*Computers and Mathematics with Applications*, 40(4-5):607-624, 2000. **HW97**-
ST Huang and LC Wuu.
Self-stabilizing token circulation in uniform networks.
*Distributed Computing*, 10(4):181-187, 1997. **H00a**-
ST Huang.
The fuzzy philosophers.
In
*Parallel and Distributed Processing (IPDPS Workshops 2000), Springer LNCS:1800*, pages 130-136, 2000. **HL99a**-
ST Huang and TJ Liu.
Phase synchronization on asynchronous uniform rings with odd size.
In
**HWT94**-
ST Huang, LC Wuu, and MS Tsai.
Distributed execution model for self-stabilizing systems.
In
*ICDCS94 Proceedings of the 14th International Conference on Distributed Computing Systems*, pages 432-439, 1994.

**IKOY02**-
S Ikeda, I Kubo, N Okumoto, and M Yamashita.
Fair Circulation of a Token.
*IEEE Transactions on Parallel and Distributed Systems*, 13(4):367-372, 2002. **IK02**-
H Ishii and H Kakugawa.
A self-stabilizing algorithms for finding cliques in distributed systems.
In
*RCDS 2002 Internatinal Workshop on Self-Repairing and Self-Configurable Distributed Systems*, pages 390-395, 2002. **IJ93**-
A Israeli and M Jalfon.
Uniform self-stabilizing ring orientation.
*Information and Computation*, 104:175-196, 1993. **IJ90a**-
A Israeli and M Jalfon.
Self-stabilizing ring orientation.
In
*WDAG90 Distributed Algorithms 4th International Workshop Proceedings, Springer LNCS:486*, pages 1-14, 1990. **IJ90b**-
A Israeli and M Jalfon.
Token management schemes and random walks yield self-stabilizing mutual exclusion.
In
*PODC90 Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing*, pages 119-131, 1990. **IL94**-
G Itkis and L Levin.
Fast and lean self-stabilizing asynchronous protocols.
In
*FOCS94 Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science*, pages 226-239, 1994. ( DVI file ) **ILS95**-
G Itkis, C Lin, and J Simon.
Deterministic, constant space, self-stabilizing leader election on uniform rings.
In
*WDAG95 Distributed Algorithms 9th International Workshop Proceedings, Springer LNCS:972*, pages 288-302, 1995. ( Postscript)

**J99**-
A Jagota.
Hopfield neural networks and self-stabilization.
*Chicago Journal of Theoretical Computer Science*, 1999(6):1-24, 1999.

CJTCS Article **JD97**-
A Jagota and R Dechter.
Simple distributed algorithms for the cycle cutset problem.
In
*Proceedings of the 1997 ACM Symposium on Applied Computing*, pages 366-373, 1997. **JT90**-
P Jayanti and S Toueg.
Wakeup under read/write atomicity.
In
*WDAG90 Distributed Algorithms 4th International Workshop Proceedings, Springer LNCS:486*, pages 277-288, 1990. **JV96**-
M Jayaram and G Varghese.
Crash failures and drive protocols to arbitrary states.
In
*PODC96 Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 247-256, 1996. **J02**-
C Johnen.
Service time optimal self-stabilizing token circulation protocol on anonymous unidrectional.
In
*SRDS 2002 21st Symposium on Reliable Distributed Systems, IEEE Computer Society Press*, pages 80-89, 2002. **J97**-
C Johnen.
Memory-efficient self-stabilizing algorithm to construct BFS spanning trees.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 125-140, 1997. **J97B**-
C Johnen.
Memory efficient, self-stabilizing algorithm to construct BFS spanning trees (brief annoncement).
In
*PODC97 Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 288, 1997. **JABD97**-
C Johnen, G Alari, J Beauquier, and AK Datta.
Self-stabilizing depth-first token passing on rooted networks.
In
*WDAG97 Distributed Algorithms 11th International Workshop Proceedings, Springer LNCS:1320*, pages 260-274, 1997. **JADT99**-
C Johnen, LO Alima, AK Datta, and S Tixeuil.
Self-stabilizing neighborhood synchronizer in tree networks.
In
*ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems*, pages 487-494, 1999. **JB95**-
C Johnen and J Beauquier.
Space-efficient distributed self-stabilizing depth-first token circulation.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 4.1-4.15, 1995. **JLL00**-
C Johnen, I Lavallee, and C Lavault.
Fair and reliable self-stabilizing communication.
In
*4th International Conference On Principles Of DIstributed Systems, OPODIS'2000*, pages 163-176, 2000.

**KY02**-
H Kakugawa and M Yamashita.
Uniform and self-stabilizing fair mutual exclusion on unidirectional rings under unfair distributed daemon.
*Journal of Parallel and Distributed Computing*, 62(5):885-898, 2002. **KY97**-
H Kakugawa and M Yamashita.
Uniform and self-stabilizing token rings allowing unfair daemon.
*IEEE Transactions on Parallel and Distributed Systems*, 8(2):154-162, 1997. **KMN97**-
H Kakugawa, M Mizuno, and M Nesterenko.
Development of self-stabilizing distributed algorithms using transformation: case studies.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 16-30, 1997. **KY02b**-
H Kakugawa and M Yamashita.
Self-stabilizing local mutual exclusion on networks on which process identifiers are not distinct.
In
*SRDS 2002 21st Symposium on Reliable Distributed Systems, IEEE Computer Society Press*, pages 202-211, 2002. **KY95**-
H Kakugawa and M Yamashita.
Uniform randomized self-stabilizing mutual exclusion on unidirectional ring under unfair c-daemon.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 14.1-14.13, 1995. **KK02**-
S Kamei and H Kakugawa.
A self-stabilizing algorithms for the Steiner tree problem.
In
*RCDS 2002 Internatinal Workshop on Self-Repairing and Self-Configurable Distributed Systems*, pages 396-401, 2002. **KB87**- MK Kam and FB Bastani. A self-stabilizing ring protocol for load balancing in distributed real-time process control systems. Technical Report UH-CS-87-8, University of Houston Department of Computer Science, 1987.
**K01**-
MH Karaata.
Self-stabilizing strong fairness under weak fairness.
*IEEE Transactions on Parallel and Distributed Systems*, 12(4):337-345, 2001. **K02b**-
MH Karaata.
A stabilizing algorithm for finding biconnected components.
*Journal of Parallel and Distributed Computing*, 62(5):982-999, 2002. **K99a**-
MH Karaata.
A self-stabilizing algorithm for finding articulation points.
*Theoretical and Mathematical Aspects of Computer Science*, 10(1):33-46, 1999. **KC02**-
MH Karaata and P Chaudhuri.
A dynamic self-stabilizing algorithm for constructing a transport net.
*Computing*, 68(2):143-161, 2002. **KC98**-
MH Karaata and P Chaudhuri.
A self-stabilizing algorithm for strong fairness.
*Computing*, 60:217-228, 1998. **KC99**-
MH Karaata and P Chaudhuri.
A self-stabilizing algorithm for bridge finding.
*Distributed Computing*, 12:47-53, 1999. **KS00**-
MH Karaata and KA Saleh.
A distributed self-stabilizing algorithm for finding maximum matching.
*Computer Systems Science and Engineering*, 15(3):175-180, 2000. **KA99**-
MH Karaata and F Al-Anzi.
A dynamic self-stabilizing algorithm for finding strongly connected components.
In
*PODC99 Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 276, 1999. **KPBG94**-
MH Karaata, SV Pemmaraju, SC Bruell , and S Ghosh.
Self-stabilizing algorithms for finding centers and medians of trees.
In
*PODC94 Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 374, 1994. **KMT94**-
Y Katayama, T Masuzawa, and N Tokura.
Self-stabilizing ring orientation algorithm under the C-daemon.
*IEICE Transactions on Fundamentals of Electronic Communications and Computer Sciences*, J77-D-I(12):777-784, 1994. **KUFM02**-
Y Katayama, E Ueda, H Fujiwara, and T Masuzawa.
A latency optimal superstabilizing mutual exclusion protocol in unidirectional rings.
*Journal of Parallel and Distributed Computing*, 62(5):865-884, 2002. **KP93a**-
S Katz and KJ Perry.
Self-stabilizing extensions for message-passing systems.
*Distributed Computing*, 7:17-26, 1993. **K97**-
A Kazmierczak.
A self-stabilizing algorithm for shortest path trees.
*Texas Journal of Science*, 49(3):223-234, 1997. **K02**-
S Kekkonen-Moneta.
Torus orientation.
*Distributed Computing*, 15(1):39-48, 2002. **K94**-
P Kellomaki.
Self stabilization of a protocol.
In
*The Nordic Seminar on Dependable Computing Systems*, pages 24-26, 1994. **K88**-
JLW Kessels.
An exercise in proving self-stabilization with a variant function.
*Information Processing Letters*, 29:39-42, 1988. **YPT00**-
Y Kim, A Perrig, and G Tsudik.
Simple and fault-tolerant key agreement for dynamic collaborative groups.
In
*Proceedings of the 7th ACM Conference on Computer and Communications Security*, pages 235-244, 2000. **K01a**-
J Kiniwa.
Avoiding faulty privileges in self-stabilizing depth-first token passing.
In
*ICPADS 2001. Proceedings of the Eighth International Conference on Parallel and Distributed Systems*, pages 390-397, 2001. **K01b**-
J Kiniwa.
Avoiding faulty privileges in fast stabilizing rings.
In
*Proceedings of the IEEE Pacific Rim Conference on Communications, Computers and Signal Processing*, pages 405-408, 2001. **KMM02**-
D Kondou, H Masuda, and T Masuzawa.
A self-stabilizing protocols for pipelined PIF.
In
*ICDCS02 The 22nd IEEE International Conference on Distributed Computing Systems*, pages 181-190, 2002. **K79**-
HSM Kruijer.
Self-stabilization (in spite of distributed control) in tree-structured systems.
*Information Processing Letters*, 8:91-95, 1979. **KA97**-
S Kulkarni and A Arora.
Compositional design of multitolerant repetitive byzantine agreement.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 1-15, 1997. **KE02**-
SS Kulkarni and A Ebnenasir.
Complexity of adding failsafe fault-tolerance.
In
*ICDCS02 The 22nd IEEE International Conference on Distributed Computing Systems*, pages 337-334, 2002. **KR01**-
SS Kulkarni and Ravikant.
Stabilizing causal deterministic merge.
In
**KRS99**-
SS Kulkarni, J Rushby, and N Shankar.
A case-study in component-based mechanical verification of fault-tolerant programs.
In
**KP99**-
S Kutten and B Patt-Shamir.
Stabilizing time-adaptive protocols.
*Theoretical Computer Science*, 220(1):93-111, 1999. **KP98**-
S Kutten and B Patt-Shamir.
Asynchronous time-adaptive self stabilization.
In
*PODC98 Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing*, pages 319, 1998. **KS97**-
S Kutten and B Patt-Shamir.
Time-adaptive self stabilization.
In
*PODC97 Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 149-158, 1997.

**LS97**-
Y Lakhnech and M Siegel.
Deductive verification of stabilizing systems.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 201-216, 1997. **L86**-
L Lamport.
The mutual exclusion problem: part II-statement and solutions.
*Journal of the Association of the Computing Machinery*, 33:327-348, 1986. **LL90**-
L Lamport and L Lynch.
Distributed computing: models and methods.
In
*Handbook of Theoretical Computer Science (Volume B: Formal Models and Semantics)*, pages 1157-1199, 1990. J van Leeuwen, Editor. **L84**-
L Lamport.
Solved problems, unsolved problems and non-problems in concurrency, invited address.
In
*PODC84 Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing*, pages 1-11, 1984. **L72**-
E Laszlo.
Basic constructs of systems philosophy.
*Systematics*, 10:40-54, 1972. **L87**-
PM Lenders.
Distributed microprogramming.
In
*Proceedings of the 20th Annual Workshop on Microprogramming*, pages 12-14, 1987. **LS93b**-
PJA Lentfert and SD Swierstra.
Distributed maximum maintenance on hierarchically divided graphs.
*Formal Aspects of Computing*, 5(1):21-60, 1993. **LS93a**-
PJA Lentfert and SD Swierstra.
Towards the formal design of self-stabilizing distributed algorithms.
In
*STACS93 Proceedings of the 10th Symposium on Theoretical Aspects of Computer Science*, pages 440-451, 1993. **LS92b**- PJA Lentfert and SD Swierstra. Towards the formal design of self-stabilizing distributed algorithms. Technical Report RUU-CS-92-25, University of Utrecht, 1992. Presented at SION CSN 92.
**L00a**-
LA Levin.
Self-stabilization of circular arrays of automata.
*Theoretical Computer Science*, 235(1):143-144, 2000. **LG94a**-
JC Line and S Ghosh.
Stabilizing algorithms for diagnosing crash failures.
In
*PODC94 Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 376, 1994. **LG94b**-
JC Line and S Ghosh.
A methodology for constructing a stabilizing crash-tolerant application.
In
*SRDS94 Proceedings of the 13th Symposium on Reliable Distributed Systems*, pages 12-21, 1994. **LG91**-
X Lin and S Ghosh.
Self-stabilizing maxima finding.
In
*Proceedings of the 28th Annual Allerton Conference*, pages 662-671, 1991. **LS92a**-
C Lin and J Simon.
Observing self-stabilization.
In
*PODC92 Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing*, pages 113-123, 1992. ( Postscript) **LS95**-
C Lin and J Simon.
Possibility and impossibility results for self-stabilizing phase clocks on synchronous rings.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 10.1-10.15, 1995. ( Postscript) **LV92**-
M Li and PMB Vitanyi.
Optimality of wait-free atomic multiwriter variables.
*Information Processing Letters*, 43:107-112, 1992. **LZM90**-
M Lu, D Zhang, and T Murata.
Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets.
*IEEE Transactions on Computers*, 39:597-604, 1990. **LH91**-
EA Lycklama and V Hadzilacos.
A first-come-first-served mutual-exclusion algorithm with small communication variables.
*ACM Transactions on Programming Languages and Systems*, 13:558-576, 1991. Footnote on page 576 attributes self-stabilizing FCFS mutual-exclusion protocol to K Truuvert. **L00b**-
O Ly.
Automatic graphs and graph D0L-systems.
In
*MFCS00 25th International Symposium on Mathematical Foundations of Computer Science, Springer LNCS:1893*, pages 539-548, 2000.

**MMZ93**-
Y Malka, S Moran, and S Zaks.
A lower bound on the period length of a distributed scheduler.
*Algorithmica*, 10(5):383-398, 1993. **M96**-
X Mao.
Stochastic self-stabilization.
*Stochastics and Stochastics Reports*, 57:57-70, 1996. **MTT97**-
H Masuda, Y Tsujino, and N Tokura.
A self-stabilizing leader election algorithm on the multi-access channel.
*Transactions of the IEICE*, J80-D-I(1):1-10, 1997. **M00**-
T Masuzawa.
Fault-tolerance of distributed algorithms: self-stabilization and wait-freedom.
*IEICE Transactions on Fundamentals of Electronic Communications and Computer Sciences*, E83D(3):550-560, 2000. **MK93**-
T Masuzawa and Y Katayama.
On self-stabilizing algorithms.
*Journal of Information Processing Society of Japan*, 34(11):1358-1365, 1993. **M95**-
T Masuzawa.
A fault-tolerant and self-stabilizing protocol for the topology problem.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 1.1-1.15, 1995. **MIMF00**-
M Matsui, M Inoue, T Masuzawa, and H Fujiwara.
Fault-tolerant and self-stabilizing protocols using an unreliable failure detector.
*IEICE Transactions on Fundamentals of Electronic Communications and Computer Sciences*, E83D(10):1831-1840, 2000. **MOOY02**-
A Mayer, R Ostrovsky, Y Ofek, and MT Yung.
Self-stabilizing symmetry breaking in constant space.
*SIAM Journal on Computing*, 31(5):1571-1595, 2002. **MOOY92**-
A Mayer, Y Ofek, R Ostrovsky, and M Yung.
Self-stabilizing symmetry breaking in constant-space.
In
*STOC92 Proceedings of the 24th Annual ACM Symposium on Theory of Computing*, pages 667-678, 1992. **MOY96**-
A Mayer, R Ostrovsky, and M Yung.
Self-stabilizing algorithms for synchronous unidirectional rings.
In
*Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms (SODA96)*, pages 564-573, 1996. **M82**-
A Mili.
A closer look at iteration: the self stabilizing capability of loops.
In
*Proceedings of the 6th International Conference on Software Engineering*, pages 48-56, 1982. **MN98**-
M Mizuno and M Nesterenko.
A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments.
*Information Processing Letters*, 66(6):285-290, 1998. **MK96**-
M Mizuno and H Kakugawa.
A timestamp based transformation of self-stabilizing programs for distributed computing environments.
In
*WDAG96 Distributed Algorithms 10th International Workshop Proceedings, Springer LNCS:1151*, pages 304-321, 1996. **MNK96**-
M Mizuno, M Nesterenko, and H Kakugawa.
Lock-based self-stabilizing distributed mutual exclusion algorithms.
In
*Proceedings of the Sixteenth International Conference on Distributed Computing Systems*, pages 708-716, 1996. **MIMF98**-
S Moriya, M Inoue, T Masuzawa, and H Fujiwara.
Self-stabilizing wait-free clock synchronization with bounded space.
In
*2nd International Conference On Principles Of DIstributed Systems, OPODIS'98*, pages 129-143, 1998.

**N96**-
AA Nanavati.
A simple self-stabilizing reset protocol.
In
*Proceedings of the 1996 ACM Symposium on Applied Computing*, pages 93-97, 1996. **NA02a**-
M Nesterenko and A Arora.
Stabilization-preserving atomicity refinement.
*Journal of Parallel and Distributed Computing*, 62(5):766-791, 2002. **NM02**-
M Nesterenko and M Mizuno.
A quorum-based self-stabilizing distributed mutual exclusion algorithm.
*Journal of Parallel and Distributed Computing*, 62(2):284-305, 2002. **NA02b**-
M Nesterenko and A Arora.
Stabilizing dining philosophers with optimal crash failure.
In
*ICDCS02 The 22nd IEEE International Conference on Distributed Computing Systems*, pages 191-200, 2002. **NA99**-
M Nesterenko and A Arora.
Stabilization-preserving atomicity refinement.
In
*DISC99 Distributed Computing 13th International Symposium, Springer LNCS:1693*, pages 254-268, 1999. **NMT94**-
N Nishikawa, T Masuzawa, and N Tokura.
Uniform self-stabilizing algorithms for mutual exclusion.
*Systems and Computers in Japan*, 25:12-21, 1994. **NV00**-
F Nolot and V Villain.
Limits and power of the simplest uniform and self-stabilizing phase clock algorithm.
In
*IPDPS'2000 Proceedings of the 14th International Parallel and Distributed Processing Symposium*, pages 541-546, 2000. **NV01**-
F Nolot and V Villain.
Universal self-stabilizing phase clock protocol with bounded memory.
In
*IEEE International Conference on Performance, Computing and Communications*, pages 228-235, 2001.

**OY99**-
Y Ofek and M Yung.
Access regulation mechanism for switch-based LAN.
*Computer Networks*, 31:505-518, 1999. **OY91**-
R Ostrovsky and M Yung.
How to withstand mobile virus attacks.
In
*PODC91 Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing*, pages 51-59, 1991. **OWA91**-
CM Ozveren, AS Willsky, and PJ Antsaklis.
Stability and stabilizability of discrete event dynamic systems.
*Journal of the Association of the Computing Machinery*, 38:730-752, 1991.

**P91**-
J Pachl.
Analysis of toggle protocols.
*Distributed Computing*, 5:25-35, 1991. **PWC99**-
RC Pan, JZ Wang, and LR Chow.
A self-stabilizing distributed spanning tree construction algorithm with a distributed demon.
*Tamsui Oxford Journal of Mathematical Sciences*, 15:23-32, 1999. **PT97**-
M Papatriantafilou and P Tsigas.
On self-stabilizing wait-free clock synchronization.
*Parallel Processing Letters*, 7(3):321-328, 1997. **PT94**-
M Papatriantafilou and P Tsigas.
Self-stabilizing wait-free clock synchronization.
In
*Proceedings of the 4th Scandinavian Workshop on Algorithm Theory, Springer LNCS:824*, pages 267-277, 1994. **PY94**-
G Parlati and M Yung.
Non-exploratory self-stabilization for constant-space symmetry-breaking.
In
*Algorithms ESA 94, Springer LNCS:855*, pages 183-201, 1994. **PM96**-
W Peng and K Makki.
Petri nets and self-stabilization of communication protocols.
*Informatica*, 20:113-123, 1996. **P93**-
W Peng.
On Petri nets and self-stabilization of communication protocols.
In
*Proceedings of the International Conference on Network Protocols*, pages 166-174, 1993. **PD96**-
LL Peterson and BS Davie.
*Computer Networks: A Systems Approach*. Morgan Kaufmann Publishers, 1996. **PV00**-
F Petit and V Villain.
Optimality and self-stabilization in rooted tree networks.
*Parallel Processing Letters*, 10(1):3-14, 2000. **PV00a**-
F Petit and V Villain.
Self-stabilizing depth-first token circulation in asynchronous message-passing systems.
*Computers and Artificial Intelligence*, 19(5):391-415, 2000. **P01**-
F Petit.
Fast self-stabilizing depth-first token circulation.
In
**P97b**-
F Petit.
Highly space-efficient self-stabilizing depth-first token circulation for trees.
In
*International Conference On Principles Of DIstributed Systems, OPODIS'97*, pages 221-235, 1997. **PCDV01**-
F Petit, A Cournier, AK Datta, and V Villain.
Optimal snap-stabilizing PIF in un-oriented trees.
In
*5th International Conference On Principles Of DIstributed Systems, OPODIS'2001*, pages 71-90, 2001. **PV97a**-
F Petit and V Villain.
A space-efficient and self-stabilizing depth-first token circulation protocol for asynchronous message-passing systems.
In
*Euro-Par'97 Parallel Processing, Proceedings LNCS:1300*, pages 476-479, 1997. **PV97b**-
F Petit and V Villain.
Color optimal self-stabilizing depth-first token circulation.
In
*I-SPAN'97, Third International Symposium on Parallel Architectures, Algorithms and Networks Proceedings, IEEE Computer Society Press*, pages 317-323, 1997. **PV97c**-
F Petit and V Villain.
Color optimal self-stabilizing depth-first token circulation protocol for asynchronous message-passing.
In
*PDCS-97 10th International Conference on Parallel and Distributed Computing Systems Proceedings*, pages 227-233, 1997. **PV99**-
F Petit and V Villain.
Time and space optimality of distributed depth-first o token circulation algorithms.
In
*Proceedings of DIMACS Workshop on Distributed Data and Structures*, pages 91-106, 1999. **PD95**-
G Pinkas and R Dechter.
Improving Connectionist Energy Minimization.
*Journal of Artificial Intelligence Research*, 3:223-248, 1995. **P97**-
ISWB Prasetya.
Mechanically verified self-stabilizing hierarchical algorithms.
In
*TACAS97 Tools and Algorithms for the Construction and Analysis of Systems, Springer LNCS:1217*, pages 399-415, 1997. **P95**- W Prasetya. Mechanically supported design of self-stabilizing algorithms (Ph.D. Thesis). Technical Report ISBN 90-939-1061-0, University of Utrecht, 1995.

**QS98**-
S Qadeer and N Shankar.
Verifying a self-stabilizing mutual exclusion algorithm.
In
*IFIP Working Conference on Programming Concepts and Methods (PROCOMET '98)*, pages 424-443, 1998.

**RA92**-
MS Radenkovic and A Michel.
Robust adaptive systems and self stabilization.
*IEEE Transactions on Automatic Control*, 37(9):1355-1369, 1992. **R94**-
JR Rao.
Reasoning about probabilistic parallel programs.
*ACM Transactions on Programming Languages and Systems*, 16(3):789-842, 1994. **R89**-
C Richter.
Proofs of two self-stabilizing termination detection algorithms.
In
*Proceedings of the MCC Workshop on Self-Stabilizing Systems, MCC Technical Report No. STP-379-89*, 1989. **R97**-
R Ringrose.
Self-stabilizing robot.
In
*Proceedings of IEEE International Conference on Robotics and Automation*, pages 487-493, 1997. **R97b**-
R Ringrose.
Self-stabilizing running.
In
*IEEE International Conference on Robotics and Automation*, pages 487-493, 1997. **R00**-
L Rosaz.
Self-stabilizing token circulation on asynchronous uniform unidirectional rings.
In
*PODC00 Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 249-258, 2000.

**SAAA93**-
K Saleh, I Ahmad, K Al-Saqabi, and A Agarwal.
Dynamic checkpointing procedure for the design of stabilizing protocols.
*Information and Software Technology*, 35:479-485, 1993. **S93c**-
M Schneider.
Self-stabilization.
*ACM Computing Surveys*, 25:45-67, 1993. **S93a**-
FB Schneider.
What good are models and what models are good.
In
*Distributed systems (2nd edition)*, pages 17-26, 1993. SJ Mullender, Editor. **S95**-
M Schneider.
Self-stabilizing real-time decision systems.
In
*Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems*, pages 19-44, 1995. DS Fussell and M Malek, Editors. **SRR95**-
SK Shukla, DJ Rosenkrantz, and SS Ravi.
Observations on self-stabilizing graph algorithms for anonymous networks.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 7.1-7.15, 1995. **SRS94**-
S Shukla, D Rosenkrantz, and S Ravi.
Developing self-stabilizing coloring algorithms via systematic randomization.
In
*Proceedings of the International Workshop on Parallel Processing*, pages 668-673, 1994. **SRS97**-
SK Shukla, DJ Rosenkrantz, and SS Ravi.
A simulation and validation tool for self-stabilizing protocols.
In
*SPIN96 Proceedings of the SPIN96 Workshop, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, ISSN: 1052-1798*, 1997. **SS94**-
M Siegel and FA Stomp.
Extending the limits of sequentially phased reasoning.
In
*FSTTCS94 Foundations of Software Technology and Theoretical Computer Science, Fourteenth Conference*, pages 402-415, 1994. **ALR98**-
A Singhai, SB Lim, and SR Radia.
The SunSCALR framework for internet servers.
In
*Proceedings of the 28th IEEE Symposium on Fault Tolerant Computing Systems (FTCS'98)*, pages 108-117, 1998. **SLR98**-
A Singhai, SB Lim, and SR Radia.
The SunSCALR framework for internet servers.
In
*FTCS95 Proceedings of the 28th IEEE Symposium on Fault-Tolerant Computing Systems*, pages 108-117, 1998. **S97**-
JM Spinelli.
Self-stabilizing sliding window ARQ protocols.
*IEEE-ACM Transactions on Networking*, 5(2):245-254, 1997. **SG89**-
JM Spinelli and RG Gallager.
Event driven topology broadcast without sequence numbers.
*IEEE Transactions on Communications*, 37:468-474, 1989. **S90**-
JM Spinelli.
Self-stabilizing network communication protocols.
In
*Communication, Control, and Signal Processing, Proceedings of the 1990 Bilkent International Conference*, pages 141-147, 1990. E Arikan, Editor. **S83**-
WR Stark.
Homeostasis in synchronous distributed computation, a formal view.
*Information Sciences*, 30:151-169, 1983. **S93b**-
FA Stomp.
Structured design of self-stabilizing programs.
In
*Proceedings of the 2nd Israel Symposium on Theory and Computing Systems*, pages 167-176, 1993. **SS92**-
S Sur and PK Srimani.
A self-stabilizing distributed algorithm for BFS spanning trees of a symmetric graph.
*Parallel Processing Letters*, 2:171-179, 1992. **SS93**-
S Sur and PK Srimani.
A self-stabilizing algorithm for coloring bipartite graphs.
*Information Sciences*, 69:219-227, 1993. **SY99**-
I Suzuki and M Yamashita.
Distributed anonymous mobile robots: formation of geometric patterns.
*SIAM Journal on Computing*, 28(4):1347-1363, 1999.

**TKM89**-
G Taubenfeld, S Katz, and S Moran.
Initial failures in distributed computations.
*International Journal of Parallel Programming*, 18:255-276, 1989. **T89**- G Taubenfeld. Self-stabilizing Petri nets. Technical Report YALEU/DCS/TR-707, Yale University Department of Computer Science, 1989.
**T81**-
M Tchuente.
Sur l'auto-stabilisation dans un reseau d'ordinateurs.
*RAIRO Informatique Theoretique*, 15:47-66, 1981. **T94**-
G Tel.
Maximal matching stabilizes in quadratic time.
*Information Processing Letters*, 49:271-272, 1994. **T95**-
G Tel.
*Introduction to distributed algorithms*. Cambridge University Press, 1994. **TW91**-
P Tetali and P Winkler.
On a random walk arising in self-stabilizing token management.
In
*PODC91 Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing*, pages 273-280, 1991. **T00a**-
O Theel.
Brief announcement: a verification technique for self-stabilizing algorithms based on Ljapunov's second method.
In
*PODC00 Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 331, 2000. **T00b**-
O Theel.
Exploitation of Ljapunov theory for verifying self-stabilizing algorithms.
In
*DISC00 Distributed Computing 14th International Symposium, Springer LNCS:1914*, pages 209-222, 2000. **T01a**-
O Theel.
A new verification technique for self-stabilizing distributed algorithms based on variable structure systems and Ljapunov theory.
In
*Proceedings of the 34th Annual Hawaii International Conference on System Sciences*, pages 3984-3991, 2001. **T01b**-
O Theel.
An exercise in proving self-stabilization through Ljapunov functions.
In
*ICDCS01 The 21st IEEE International Conference on Distributed Computing Systems*, pages 727-730, 2001. **TG98**-
O Theel and FC Gartner.
On proving the stability of distributed algorithms: self-stabilization vs. control theory.
In
*Proceedings of the International Conference on Systems, Signals, Control, Computers (SSCC '98, Durban, South Africa, Sept.)*, pages 58-66, 1998. VB Bajic, Editor. **TG99**-
O Theel and FC Gartner.
An exercise in proving convergence through transfer functions.
In
**TW86**-
JG Thistle and WM Wonham.
Control problems in a temporal logic framework.
*International Journal on Control*, 44:943-976, 1986. **T01c**-
S Tixeuil.
On a space-optimal distributed traversal algorithm.
In
**TB96**-
S Tixeuil and J Beauquier.
Self-stabilizing token ring.
In
*International Conference on Software Engineering (ICSE'96)*, pages ??-??, 1996. **TH94**-
MS Tsai and ST Huang.
A self-stabilizing algorithm for the shortest paths problem with a fully distributed demon.
*Parallel Processing Letters*, 4:65-72, 1994. **TH95**-
MS Tsai and ST Huang.
Self-stabilizing ring orientation protocols.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 16.1-16.14, 1995. **TTK00**-
T Tsuchiyai, Y Tokuda, and T Kikuno.
Computing the stabilization times of self-stabilizing systems.
*IEICE Transactions on Fundamentals of Electronic Communications and Computer Sciences*, E83A(11):2245-2252, 2000. **TNPK01**-
T Tsuchiya, S Nagano, RB Paidi, and T Kikuno.
Symbolic model checking for self-stabilizing algorithms.
*IEEE Transactions on Parallel and Distributed Systems*, 12(1):81-95, 2001.

**UKMF97**-
E Ueda, Y Katayama, T Masuzawa, and H Fujiwara.
A latency-optimal superstabilizing mutual exclusion protocol.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 110-124, 1997. **UKY98**-
N Umemoto, H Kakugawa, and M Yamashita.
A self-stabilizing ring orientation algorithm with a smaller number of processor states.
*IEEE Transactions on Parallel and Distributed Systems*, 9(6):579-584, 1998.

**V00**-
G Varghese.
Self-stabilization by counter flushing.
*SIAM Journal on Computing*, 30(2):486-510, 2000. **VAG97**-
G Varghese, A Arora, and MG Gouda.
Self-stabilization by tree correction.
*Chicago Journal of Theoretical Computer Science*, 3(3):1-32, 1997.

CJTCS Article **V94a**-
G Varghese.
Self-stabilization by counter flushing.
In
*PODC94 Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing*, pages 244-253, 1994. **V97**-
G Varghese.
Compositional proofs of self-stabilizing protocols.
In
*Proceedings of the Third Workshop on Self-Stabilizing Systems*, pages 80-94, 1997. **VAG95**-
G Varghese, A Arora, and MG Gouda.
Self-stabilization by tree correction.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 12.1-12.14, 1995. **V93**- G Varghese. Self-stabilization by local checking and correction (Ph.D. Thesis). Technical Report MIT/LCS/TR-583, MIT, 1993.
**V94b**- B Verweij. Stabilization: rounds and steps. Developments in distributed algorithms 1994 course notes, University of Utrecht, G Tel, Editor.

**WMP94**-
K Wang, AN Michel, and KM Passino.
On stability-preserving mappings of dynamical systems.
*Automation and Remote Control*, 55:1592-1597, 1994. **WS79**-
C Whitby-Strevens.
On the performance of Dijkstra's self-stabilising algorithms in spite of distributed control.
In
*Proceedings of the 1st International Conference on Distributed Computing Systems*, pages 586-592, 1979. **HW95**-
LC Wuu and ST Huang.
Distributed self-stabilizing systems.
*Journal of Information Science and Engineering*, 11:307-326, 1995. **WH94a**-
LC Wuu and ST Huang.
Identity assignment in uniform synchronous rings.
*Information Processing Letters*, 49:257-262, 1994. **WH94b**-
LC Wuu and ST Huang.
Self-stabilizing identity assignment in uniform unidirectional rings.
In
*ICCI94 Sixth International Conference on Computing and Information*, pages 473-492, 1994.

**YD96**-
N Yahfoufi and S Dowaji.
Self-stabilizing distributed branch-and-bound algorithm.
In
*Proceedings of the 1996 IEEE 15th Annual International Phoenix Conference on Computers and Communications*, pages 246-252, 1996. **YWB01**-
V Yanovski, IA Wagner, and AM Bruckstein.
Vertex-ant-walk - a robust method for efficient exploration of faulty graphs.
*Annals of Mathematics and Artificial Intelligence, Special Issue on Ant-Robotics*, 31(1-4):99-112, 2001. **Y96**-
IL Yen.
A highly safe self-stabilizing mutual exclusion algorithm.
*Information Processing Letters*, 57:301-305, 1996. **Y01**-
HC Yen.
Analysis of self-stabilization for infinite-state systems.
In
*Proceedings of the Seventh IEEE International Conference on Engineering of Complex Computer Systems*, pages 240-248, 2001. **YB95**-
IL Yen and FB Bastani.
A highly safe self-stabilizing mutual exclusion algorithm.
In
*Proceedings of the Second Workshop on Self-Stabilizing Systems*, pages 18.1-18.13, 1995. **YBL91**-
IL Yen, FB Bastani, and EL Leiss.
An inherently fault tolerant sorting algorithm.
In
*Proceedings of the Fifth International Parallel Processing Symposium*, pages 34-42, 1991. **YG93**-
SD Young and VK Garg.
On self-stabilizing systems: an approach to the specification and design of fault-tolerant systems.
In
*Proceedings of the 32nd IEEE Conference on Decision and Control*, pages 1200-1205, 1993.

**ZB92**-
Y Zhao and FB Bastani.
A self-adjusting algorithm for Byzantine agreement.
*Distributed Computing*, 5:219-226, 1992.