Comprehensive Self-Stabilization Bibliography

Last revised: 27 December 2002

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

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 Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pages 86-93, 1999.

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 Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pages 1-9, 1999.

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 WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194, pages 67-81, 2001.

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 Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pages 25-32, 1999.

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 WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194, pages 82-97, 2001.

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 WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194, pages 98-113, 2001.

GP99

FC Gartner and H Pagnia. Self-stabilizing load distribution for replicated servers on a per-access basis. 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 102-109, 1999.

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 WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194, pages 1-18, 2001.

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 Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pages 18-24, 1999.

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 WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194, pages 114-123, 2001.

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 Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pages 48-53, 1999.

GHA01

MG Gouda, CT Huang, and A Arora. On the security and vulnerability of Ping. In WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194, pages 124-135, 2001.

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 Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pages 10-17, 1999.

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 WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194, pages 136-151, 2001.

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 WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194, pages 152-166, 2001.

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 WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194, pages 167-182, 2001.

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 Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pages 62-69, 1999.

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 Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pages 54-61, 1999.

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 WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194, pages 183-199, 2001.

KRS99

SS Kulkarni, J Rushby, and N Shankar. A case-study in component-based mechanical verification of fault-tolerant programs. 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 33-40, 1999.

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 WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194, pages 200-215, 2001.

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 Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pages 41-47, 1999.

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 WSS01 Proceedings of the Fifth International Workshop on Self-Stabilizing Systems, Springer LNCS:2194, pages 216-228, 2001.

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.