÷ƒ’À;è TeX output 2002.12.27:1651‹ÿÿÿÿ ŽiÒ ýŽ  U‚ ýµ}ü‘sçóÂÖN ff cmbx12»A–ffSelf-Stabilization“BibliographŒÌyŽŸ÷_‘sçóò"V ó3 cmbx10¼Last–2revised:‘˜¼27“Decem¦tbY‹er“2002ŽŸíÿ‘7ÓëóKñ`y ó3 cmr10¹T‘ÿeed‘¦fHerman‘> Õóßêof“the“5th“IEEE‘dSymp›ÿp¹osium“on“Par˜al‘Flel“and“Distribute˜dŽ¡‘_7ªPr–ÿp¹o“c“essing¹,–¦fpages“490{493,“1993.Ž¦‘sç[A²!CKŸü¾¾+Ž‘x¹98]ŽŽ‘_7ªB›‡2Aw•²!erbuc“h,–pI˜Cidon,“S˜Kutten,“Y˜Mansour,“and˜D˜P²!eleg.‘§ãOptimal˜broadcastŽ¡‘_7ªwith–¦fpartial“kno²!wledge.‘ÚÀÆSIAM–êêJournal“on“Computing¹,–¦f28(2):512{525,“1998.Ž¦‘sç[AD94]ŽŽ‘_7ªJ–€¢AbšMÞello“and“S“Dolev.‘1On“the“computational“p˜o•²!w“er–€¢of“self-stabilizing“systems.Ž¡‘_7ªÆJournal–êêof“Computing“and“Information¹,–¦f1:585{603,“1994.Ž¦‘sç[AD96]ŽŽ‘_7ªG–9[Alari“and“AK“Datta.‘¯Almost“t•²!w“o-state–9[self-stabilizing“algorithm“for“tok²!enŽ¡‘_7ªrings.‘L¿In‘²<ÆEighth– IIEEE‘ Symp›ÿp¹osium“on“Par˜al‘Flel“and“Distribute˜d“Pr˜o˜c˜essing¹,‘ãpagesŽ¡‘_7ª52{59,‘¦f1996.ŽŽŸsç’ö9_2ŽŽŒ‹ ¾ ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[AD97a]ŽŽ‘_7ªJ–€¢AbšMÞello“and“S“Dolev.‘1On“the“computational“p˜o•²!w“er–€¢of“self-stabilizing“systems.Ž¤ ™š‘_7ªÆThe–ÿp¹or“etic“al–êêComputer“Scienc‘ÿp¹e¹,–¦f182:159{170,“1997.Ž©™š‘sç[AD97b]ŽŽ‘_7ªY–„Afek“and“S“Dolev.›·LoMÞcal“stabilizer.˜In“ÆPr–ÿp¹o“c“e“e“dings–ÖÈof“the“5th“Isr›ÿp¹aeli“Symp˜o-Ž¡‘_7ªsium–êêon“The‘ÿp¹ory“of“Computing“and“Systems¹,–¦fpages“74{84,“1997.Ž¦‘sç[AD97c]ŽŽ‘_7ªY–SýAfek“and“S“Dolev.›TjLoMÞcal“stabilizer.˜In“ÆPODC97›ŸPr–ÿp¹o“c“e“e“dings˜of˜the˜Sixte“enthŽ¡‘_7ªA•¸\nnual›ЬA“CM‘ÐqSymp–ÿp¹osium˜on˜Principles˜of˜Distribute“d˜Computing¹,‘Þ’page‘ #287,Ž¡‘_7ª1997.Ž¦‘sç[AD02]ŽŽ‘_7ªY–$òAfek“and“S“Dolev.› N¿LoMÞcal“stabilizer.˜ÆJournal–JÛof“Par›ÿp¹al‘Flel“and“Distribute˜dŽ¡‘_7ªComputing¹,–¦f62(5):745{765,“2002.Ž¦‘sç[ADDL97]ŽŽ‘_7ªG–UIAlari,›e‚AK“Datta,˜J“Derb²!y‘ÿe,˜and“J“La•²!wrence.‘V‡F‘ÿeault-toleran“t›UIhierarc“hical˜rout-Ž¡‘_7ªing.‘‰åIn‘âãÆIEEE‘ Ê16th–A¸\nnual“International“Pho›ÿp¹enix“Confer˜enc˜e“on“ComputersŽ¡‘_7ªand‘êêCommunic‘ÿp¹ations¹,–¦fpages“159{165,“1997.Ž¦‘sç[ADG91]ŽŽ‘_7ªA–_ÍArora,›mìS“Dolev,˜and“MG“Gouda.‘g¬Mainš²!taining“digital“cloMÞc˜ks“in“step.‘g¬ÆPar‘ÿp¹al‘FlelŽ¡‘_7ªPr–ÿp¹o“c“essing‘êêL“etters¹,–¦f1:11{18,“1991.Ž¦‘sç[ADGFT01]ŽŽ‘_7ªMK–‡ŽAguilera,›¿ØC“DelpMÞorte-Gallet,˜H“F‘ÿeauconnier,˜and“S“T‘ÿeoueg.‘y¹Stable“leaderŽ¡‘_7ªelection.‘ Þ€In‘U/ÆDISC01–wof“the“Ninete‘ÿp¹enth“Aš¸\nnual“A˜CM‘K%Symp‘ÿp¹osium“on“Principles“of“Dis-Ž¡‘_7ªtribute‘ÿp¹d‘êêComputing¹,–¦fpages“269{278,“2000.Ž©™š‘sç[AKMŸü¾¾+Ž‘x¹93]ŽŽ‘_7ªB›yAw•²!erbuc“h,–®VS˜Kutten,“Y˜Mansour,“B˜P²!att-Shamir,“and˜G˜V‘ÿearghese.‘OýTimeŽ¡‘_7ªoptimal–Á†self-stabilizing“sync²!hronization.‘&xIn“ÆSTOC93›ïcPr–ÿp¹o“c“e“e“dings˜of˜the˜25thŽ¡‘_7ªA•¸\nnual›êêA“CM˜Symp–ÿp¹osium˜on˜The“ory˜of˜Computing¹,–¦fpages“652{661,“1993.Ž¦‘sç[AKY90]ŽŽ‘_7ªY–¸=Afek,›¼³S“Kutten,˜and“M“Y‘ÿeung.‘ëMemory-ecien²!t“self-stabilization“on“generalŽ¡‘_7ªnet•²!w“orks.‘ oIn‘iøÆWD•¸\A“G90–Š[Distribute‘ÿp¹d“A¸\lgorithms“4th“International“WorkshopŽ¡‘_7ªPr–ÿp¹o“c“e“e“dings,–êêSpringer“LNCS:486¹,–¦fpages“15{28,“1990.Ž¦‘sç[AKY97]ŽŽ‘_7ªY–ÝAfek,›1»S“Kutten,˜and“M“Y‘ÿeung.‘&ëThe“loMÞcal“detection“paradigm“and“its“appli-Ž¡‘_7ªcations–=‰to“self-stabilization.‘$ÆThe–ÿp¹or“etic“al–uöComputer“Scienc‘ÿp¹e¹,‘cR186(1-2):199{229,Ž¡‘_7ª1997.Ž¦‘sç[Ali99]ŽŽ‘_7ªLO–ÿAlima.›äISelf-stabilizing“max-heap.˜In“ÆPr–ÿp¹o“c“e“e“dings–<äof“the“F‘ÿ)ourth“WorkshopŽ¡‘_7ªon–ˆvSelf-Stabilizing“Systems“(publishe›ÿp¹d“in“asso˜ciation“with“ICDCS99“The“19thŽ¡‘_7ªIEEE‘’×International›’îConfer–ÿp¹enc“e˜on˜Distribute“d˜Computing˜Systems)¹,‘Yãpages‘FÃ94{Ž¡‘_7ª101.–¦fIEEE“Computer“SoMÞciet²!y‘ÿe,“1999.Ž¦‘sç[AN01]ŽŽ‘_7ªA–øArora“and“M“Nesterenk²!o.‘¿GUnifying“stabilization“and“termination“in“message-Ž¡‘_7ªpassing–AÅsystems.‘ ¤¤In“ÆICDCS01–e_The“21st“IEEE‘dþInternational“Confer–ÿp¹enc“e‘e_onŽ¡‘_7ªDistribute‘ÿp¹d–êêComputing“Systems¹,–¦fpages“99{106,“2001.Ž¦‘sç[A²!O94]ŽŽ‘_7ªB›‚ãAw•²!erbuc“h˜and˜R˜Ostro“vsky‘ÿe.‘kÐMemory-ecien“t˜and˜self-stabilizing˜net“w“orkŽ¡‘_7ªreset.‘}iIn‘ÜûÆPODC94›"Pr–ÿp¹o“c“e“e“dings˜of˜the˜Thirte“enth˜A•¸\nnual˜A“CM‘Symp‘ÿp¹osium˜onŽ¡‘_7ªPrinciples–êêof“Distribute‘ÿp¹d“Computing¹,–¦fpages“254{263,“1994.Ž¦‘sç[AP95]ŽŽ‘_7ªA– úArora“and“DM“Pš²!oMÞdusk‘ÿdDa.‘ÑéA‘ øtiming-based“sc˜hema“for“stabilizing“informationŽ¡‘_7ªexc²!hange.‘ F3In‘"ÆPr–ÿp¹o“c“e“e“dings–H7of“the“1995“International“Confer–ÿp¹enc“e–H7on“NetworkŽ¡‘_7ªPr–ÿp¹oto“c“ols¹,–¦fpages“327{331,“1995.Ž¦‘sç[APSV91]ŽŽ‘_7ªB›¢Aw•²!erbuc“h,‘&–B˜P“att-Shamir,‘&–and˜G˜V‘ÿearghese.‘ÖRSelf-stabilization˜b“y˜loMÞcal˜c“hec“k-Ž¡‘_7ªing–`and“correction.‘û¾In“ÆF¸\OCS91›D"Pr–ÿp¹o“c“e“e“dings˜of˜the˜31st˜A¸\nnual˜IEEE‘D Symp“o-Ž¡‘_7ªsium–êêon“F‘ÿ)oundations“of“Computer“Scienc‘ÿp¹e¹,–¦fpages“268{277,“1991.Ž¦‘sç[APSV94]ŽŽ‘_7ªB›¶Aw•²!erbuc“h,‘¹ùB˜P“att-Shamir,‘¹ùand˜G˜V‘ÿearghese.‘ jBounding˜the˜un“bMÞounded˜(dis-Ž¡‘_7ªtributed–³Öcomputing“protoMÞcols).‘ÊIn“ÆPr–ÿp¹o“c“e“e“dings›÷FIEEE–÷CINF¸\OCOM“94˜The˜Con-Ž¡‘_7ªfer–ÿp¹enc“e–êêon“Computer“Communic‘ÿp¹ations¹,–¦fpages“776{783,“1994.Ž¦‘sç[APSV96]ŽŽ‘_7ªB›8ÐAw•²!erbuc“h,‘NºB˜P“att-Shamir,‘Nºand˜G˜V‘ÿearghese.‘(Self-stabilizing˜end-to-end˜com-Ž¡‘_7ªm²!unication.‘ÚÀÆJournal–êêof“High“Sp–ÿp¹e“e“d‘êêNetworks¹,–¦f5(4):365{381,“1996.Ž¦‘sç[APSVD94]ŽŽ‘_7ªB›†Aw•²!erbuc“h,‘uB˜P“att-Shamir,–uG˜V‘ÿearghese,“and˜S˜Dolev.‘ )»Self-stabilizing˜b²!yŽ¡‘_7ªloMÞcal›nîc•²!hec“king˜and˜global˜reset.‘€UIn˜ÆWD•¸\A“G94–·âDistribute‘ÿp¹d“A¸\lgorithms“8th“Inter-Ž¡‘_7ªnational–êêWorkshop“Pr–ÿp¹o“c“e“e“dings,–êêSpringer“LNCS:857¹,–¦fpages“326{339,“1994.ŽŽŸsç’ö9_5ŽŽŒ‹0R ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[Aro94]ŽŽ‘_7ªA–ùaArora.‘ÌëEcien²!t“recon guration“of“trees:‘ƒÓa“case“study“in“the“methoMÞdicalŽ¤ ™š‘_7ªdesign–/Âof“nonmasking“fault-tolerance.‘tIn“ÆPr–ÿp¹o“c“e“e“dings–iHof“the“3r‘ÿp¹d“InternationalŽ¡‘_7ªSymp‘ÿp¹osium–=on“F›ÿ)ormal“T˜e›ÿp¹chniques“in“R˜e˜al“Time“and“F–ÿ)ault-T“oler˜anc˜e¹,‘qëpagesŽ¡‘_7ª110{127,‘¦f1994.Ž©™š‘sç[AS95a]ŽŽ‘_7ªG–ªAn²!tonoiu“and“PK“Srimani.‘ ]A‘Žself-stabilizing“distributed“algorithm“to“con-Ž¡‘_7ªstruct–’ an“arbitrary“spanning“tree“of“a“connected“graph.‘¹“ÆComputers–Ø1and“Math-Ž¡‘_7ªematics–êêwith“Applic‘ÿp¹ations¹,–¦f30:1{7,“1995.Ž¦‘sç[AS95b]ŽŽ‘_7ªA–­ƒArora“and“A“Singhai.‘êÕF‘ÿeault-toleran²!t“recon guration“of“trees“and“rings“inŽ¡‘_7ªnet•²!w“orks.‘ÚÀÆHigh–êêInte‘ÿp¹grity“Systems¹,–¦f1:375{384,“1995.Ž¦‘sç[AS96]ŽŽ‘_7ªG–hÒAn²!tonoiu“and“PK“Srimani.‘!A‘h self-stabilizing“leader“election“algorithm“forŽ¡‘_7ªtree‘Mutual“exclusion“bMÞet˜w˜een“neigh˜bšMÞoring“no˜des“inŽ¡‘_7ªan–GTarbitrary“system“graph“tree“that“stabilizes“using“read/write“atomicit²!y‘ÿe.‘ºSInŽ¡‘_7ªÆEur–ÿp¹o-Par'99›Par“al‘Flel˜Pr“o“c“essing,‘4šPr“o“c“e“e“dings˜LNCS:1685¹,–à;pages‘®°823{830,“1999.Ž¦‘sç[AS99b]ŽŽ‘_7ªS–'0Anš²!tonoiu“and“PK“Srimani.‘ UoSelf-stabilizing“protoMÞcol“for“m˜utual“exclusionŽ¡‘_7ªamong–R½neigh²!bšMÞoring“no˜des“in“a“tree“structured“distributed“system.‘ ×7ÆPar‘ÿp¹al‘FlelŽ¡‘_7ªA¸\lgorithms–êêand“Applic‘ÿp¹ations¹,–¦f14(1):1{18,“1999.Ž¦‘sç[AS01]ŽŽ‘_7ªG–²ßAnš²!tonoiu“and“PK“Srimani.‘MÉSelf-stabilizing“depth- rst“m˜ulti-tok˜en“circulationŽ¡‘_7ªin–utree“net•²!w“orks.‘ŠVÆPar›ÿp¹al‘Flel–½‡A¸\lgorithms“and“Applic˜ations¹,–~ï16(1):17{35,“Jan‘u2001.Ž¦‘sç[A‘ÿeTT95]ŽŽ‘_7ªT–«ñAmisaki,›­TY“Tsujino,˜and“N“T–ÿeokura.‘ëDF“ormal–«ñderiv‘ÿdDation“of“a“probabilisticallyŽ¡‘_7ªself-stabilizing–`Sprogram:‘Q·leader“election“on“a“uniform“tree.‘ÏIn“ÆPr–ÿp¹o“c“e“e“dings‘•÷ofŽ¡‘_7ªthe›êêSe–ÿp¹c“ond˜Workshop˜on˜Self-Stabilizing˜Systems¹,–¦fpages“13.1{13.14,“1995.Ž¦‘sç[A‘þȈV91]ŽŽ‘_7ªB› Aw•²!erbuc“h˜and˜G˜V‘ÿearghese.‘0aDistributed˜program˜c“hec“king:‘Ã$a˜paradigm˜forŽ¡‘_7ªbuilding–Ž–self-stabilizing“distributed“protoMÞcols.‘Ž¬In“ÆF¸\OCS91›À†Pr–ÿp¹o“c“e“e“dings˜of˜theŽŽŸsç’ö9_¹6ŽŽŒ‹>3 ŽiÒ ýŽ  U‚ ýµ}ü‘_7ªÆ31st–x»A¸\nnual“IEEE‘xUSymp›ÿp¹osium“on“F‘ÿ)oundations“of“Computer“Scienc˜e¹,‘ÂêpagesŽ¤ ™š‘_7ª258{267,‘¦f1991.Ž©™š‘sç[BA89a]ŽŽ‘_7ªGM–O Bro²!wn“and“Y“Afek.›ÑSelf-stabilization“of“the“alternating-bit“protoMÞcol.˜InŽ¡‘_7ªÆPr–ÿp¹o“c“e“e“dings–q=of“the“16th“Confer–ÿp¹enc“e–q=of“Ele–ÿp¹ctric“al–q=and“Ele–ÿp¹ctr“onics›q=Engine“ers˜inŽ¡‘_7ªIsr‘ÿp¹ael¹,–¦fpages“1{4,“1989.Ž¦‘sç[BA89b]ŽŽ‘_7ªGM–O Bro²!wn“and“Y“Afek.›ÑSelf-stabilization“of“the“alternating-bit“protoMÞcol.˜InŽ¡‘_7ªÆPr–ÿp¹o“c“e“e“dings–Õtof“the“Eighth“Symp›ÿp¹osium“on“R˜eliable“Distribute˜d“Systems¹,‘åpagesŽ¡‘_7ª80{83,‘¦f1989.Ž¦‘sç[BB95]ŽŽ‘_7ªR‘þȈW–ó|Buskš²!ens“and“RP“Bianc˜hini.‘ÀwSelf-stabilizing“m˜utual“exclusion“in“the“pres-Ž¡‘_7ªence–Ìof“fault²!y“noMÞdes.‘Ì»In“ÆFTCS95›ãPr–ÿp¹o“c“e“e“dings˜of˜the˜25th˜IEEE‘âþSymp“osium˜onŽ¡‘_7ªF–ÿ)ault-T“oler‘ÿp¹ant–êêComputing“Systems¹,–¦fpages“144{153,“1995.Ž¦‘sç[BBCD02]ŽŽ‘_7ªF›0¯Belk•²!ouc“h,–“AM˜Bui,“LM˜Chen,“and˜AK˜Datta.‘ qºSelf-stabilizing˜determinis-Ž¡‘_7ªtic›\net•²!w“ork˜decompMÞosition.‘ 2.ÆJournal–B of“Par›ÿp¹al‘Flel“and“Distribute˜d“Computing¹,Ž¡‘_7ª62(4):696{714,‘¦f2002.Ž¦‘sç[BBF99]ŽŽ‘_7ªJ– ËBeauquier,›ßcB“Berard,˜and“L“F‘ÿeribšMÞourg.‘ÄíA‘ Šnew“rewrite“metho˜d“for“pro²!vingŽ¡‘_7ªcon•²!v“ergence–Dýof“self-stabilizing“systems.‘;÷In“ÆDISC99–‘LDistribute‘ÿp¹d“Computing“13thŽ¡‘_7ªInternational–êêSymp‘ÿp¹osium,“Springer“LNCS:1693¹,–¦fpages“240{253,“1999.Ž¦‘sç[BBFM01]ŽŽ‘_7ªJ–̼Beauquier,›ÖQB“Berard,˜L“F‘ÿeribMÞourg,˜and“F“Magniette.‘LþProš²!ving“con˜v˜ergence“ofŽ¡‘_7ªself-stabilizing–çxsystems“using“ rst-order“rewriting“and“regular“languages.‘œªÆDis-Ž¡‘_7ªtribute‘ÿp¹d‘êêComputing¹,–¦f14(2):83{95,“2001.Ž¦‘sç[BCD95]ŽŽ‘_7ªJ–kBeauquier,›vâS“Cordier,˜and“S“Dela²"‘úÔDet.‘yïOptim²!um“probabilistic“self-stabilizationŽ¡‘_7ªon–ƒ¹uniform“rings.‘nMIn“ÆPr–ÿp¹o“c“e“e“dings–¶ˆof“the“Se–ÿp¹c“ond–¶ˆWorkshop“on“Self-StabilizingŽ¡‘_7ªSystems¹,–¦fpages“15.1{15.15,“1995.Ž¦‘sç[BD93]ŽŽ‘_7ªJ–Ã0Beauquier“and“S“Dela²"‘úÔDet.›0‹Classes“of“self-stabilizing“protoMÞcols.˜In“ÆPr–ÿp¹o“c“e“e“dingsŽ¡‘_7ªof–CJthe“F›ÿ)ourth“Workshop“on“F˜utur‘ÿp¹e“T˜r›ÿp¹ends“of“Distribute˜d“Computing“Systems¹,Ž¡‘_7ªpages–¦f361{366,“1993.Ž¦‘sç[BD94]ŽŽ‘_7ªJ–ÕVBeauquier“and“S“Dela²"‘úÔDet.‘…÷Probabilistic“self-stabilizing“m²!utual“exclusion“in“uni-Ž¡‘_7ªform–ÐÁrings.‘~In“ÆPODC94›&]Pr–ÿp¹o“c“e“e“dings˜of˜the˜Thirte“enth˜A•¸\nnual˜A“CM‘&+Symp‘ÿp¹osiumŽ¡‘_7ªon–êêPrinciples“of“Distribute‘ÿp¹d“Computing¹,–¦fpage“378,“1994.Ž¦‘sç[BD95a]ŽŽ‘_7ªJ–±FBeauquier“and“O“Debas.‘ö An“optimal“self-stabilizing“algorithm“for“m²!utualŽ¡‘_7ªexclusion–LAon“bidirectional“non“uniform“rings.‘ ÃãIn“ÆPr–ÿp¹o“c“e“e“dings–oof“the“Se–ÿp¹c“ondŽ¡‘_7ªWorkshop–êêon“Self-Stabilizing“Systems¹,–¦fpages“17.1{17.13,“1995.Ž¦‘sç[BD95b]ŽŽ‘_7ªJ–UBeauquier“and“O“Debas.‘VCA‘U self-stabilizing“algorithm“for“m²!utual“exclusion“onŽ¡‘_7ªbidirectional–76non“uniform“rings.‘ŠLIn“ÆEur–ÿp¹op“e“an›p$R“ese“ar“ch˜Seminar˜on˜A“dvanc“e“dŽ¡‘_7ªDistribute‘ÿp¹d–êêSystems“(ERSADS'95)¹,–¦fpages“299{304,“1995.ŽŽŸsç’ö9_7ŽŽŒ‹L" ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[BD95c]ŽŽ‘_7ªB–kÞBourgon“and“AK“Datta.›'5A‘k«self-stabilizing“heap“main²!tenance“protoMÞcol.˜InŽ¤ ™š‘_7ªÆPr–ÿp¹o“c“e“e“dings–Üof“the“Se–ÿp¹c“ond–ÜWorkshop“on“Self-Stabilizing“Systems¹,‘ºåpages‘€5.1{5.13,Ž¡‘_7ª1995.Ž©îF‘sç[BDDN95]ŽŽ‘_7ªB–iBourgon,›MCC˜T‘ÿ)e–ÿp¹chnic“alŽ¡‘_7ªR–ÿp¹ep“ort–êêNo.“STP-379-89¹,‘¦f1989.ŽŽŸsç’ö9_9ŽŽŒ‹ f4 ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[BGM93]ŽŽ‘_7ªJE–ÌÉBurns,›ÖbMG“Gouda,˜and“RE“Miller.‘M%Stabilization“and“pseudo-stabilization.Ž¤ ™š‘_7ªÆDistribute‘ÿp¹d‘êêComputing¹,–¦f7:35{42,“1993.Ž©À‘sç[BGW87]ŽŽ‘_7ªJE–ë‘Burns,›îMG“Gouda,˜and“CL“W‘ÿeu.›ª3A‘ëaself-stabilizing“tok²!en“system.˜In“ÆPr–ÿp¹o“c“e“e“d-Ž¡‘_7ªings–¾Ïof“the“20th“A¸\nnual“International“Confer–ÿp¹enc“e–¾Ïon“System“Scienc‘ÿp¹es¹,‘ÆMpagesŽ¡‘_7ª218{223,‘¦f1987.Ž¦‘sç[BGW89]ŽŽ‘_7ªGM–£/Bro²!wn,›£ÔMG“Gouda,˜and“CL“W–ÿeu.›Õ‚T“ok²!en–£/systems“that“self-stabilize.˜ÆIEEEŽ¡‘_7ªT‘ÿ)r‘ÿp¹ansactions–êêon“Computers¹,–¦f38(6):845{852,“1989.Ž¦‘sç[BH93]ŽŽ‘_7ªY›UBra•²!v“e˜and˜M˜Heymann.‘ø¢On˜optimal˜attraction˜in˜discrete-ev“en“t˜proMÞcesses.Ž¡‘_7ªÆInformation‘êêScienc‘ÿp¹es¹,–¦f67:245{276,“1993.Ž¦‘sç[BH02]ŽŽ‘_7ªJ–ÐÐBeauquier“and“T“Herault.›~˜F‘ÿeault-loMÞcal“stabilization“:‘sthe“shortest“path“tree.˜InŽ¡‘_7ªÆSRDS‘ƃ2002–Æ21st“Symp›ÿp¹osium“on“R˜eliable“Distribute˜d“Systems,‘ÍÓIEEE‘ƃComputerŽ¡‘_7ªSo–ÿp¹ciety‘êêPr“ess¹,–¦fpages“60{69,“2002.Ž¦‘sç[BHHJ01]ŽŽ‘_7ªJRS‘ŽBBlair,–ȃSM›Ž}Hedetniemi,“ST˜Hedetniemi,“and˜DP˜Jacobs.‘ŽbSelf-stabilizingŽ¡‘_7ªmaxim•²!um›¦fmatc“hings.‘ÚÀÆCongr–ÿp¹essus‘êêNumer“antium¹,˜153:1521{1529,˜2001.Ž¦‘sç[BHS01]ŽŽ‘_7ªJ–PxBeauquier,›ºüT“H²"‘úÔDerault,˜and“E“Scš²!hiller.‘ ÐrEasy“stabilization“with“an“agen˜t.Ž¡‘_7ªIn‘ß~ÆWSS01›pPr–ÿp¹o“c“e“e“dings˜of˜the˜Fifth˜International˜Workshop˜on˜Self-StabilizingŽ¡‘_7ªSystems,–êêSpringer“LNCS:2194¹,–¦fpages“35{50,“2001.Ž¦‘sç[BK96]ŽŽ‘_7ªJ–’ûBeauquier“and“S“Kekk²!onen.›»Making“FTSS‘’öis“hard.˜In“ÆInternational‘Ù Confer-Ž¡‘_7ªenc›ÿp¹e–êêon“Softwar˜e“Engine˜ering“(ICSE'96)¹,–¦fpages“91{96,“1996.Ž¦‘sç[BK97]ŽŽ‘_7ªK–ò`Burkš²!et“and“R“KoMÞc˜h.‘µMSelf-stabilizing“m˜ultiple-sender/single-receiv˜er“protoMÞcol.Ž¡‘_7ªIn›óÄÆPr–ÿp¹o“c“e“e“dings–2of“the“Thir‘ÿp¹d“Workshop“on“Self-Stabilizing“Systems¹,‘pages˜170{Ž¡‘_7ª184.–¦fCarleton“Univ•²!ersit“y–¦fPress,“1997.Ž¦‘sç[BKM97a]ŽŽ‘_7ªJ–¶RBeauquier“and“S“Kekk²!onen-Moneta.‘F‘ÿeault-tolerance“and“self-stabilization:Ž¡‘_7ªimpMÞossibilit²!y–0results“and“solutions“using“self-stabilizing“failure“detectors.‘ö3ÆInter-Ž¡‘_7ªnational–êêJournal“of“Systems“Scienc‘ÿp¹e¹,–¦f28(11):1177{1187,“1997.Ž¦‘sç[BKM97b]ŽŽ‘_7ªJ–4Beauquier“and“S“Kekk²!onen-Moneta.‘€ùOn“ftss-solv‘ÿdDable“distributed“problems.Ž¡‘_7ªIn› “ÆPr–ÿp¹o“c“e“e“dings–\zof“the“Thir‘ÿp¹d“Workshop“on“Self-Stabilizing“Systems¹,‘*Špages˜64{79.Ž¡‘_7ªCarleton›¦fUniv•²!ersit“y˜Press,˜1997.Ž¦‘sç[BLB95]ŽŽ‘_7ªF– åButelle,›+˜C“La²!v‘ÿdDault,˜and“M“Bui.‘à‡A‘ ¾uniform“self-stabilizing“minim²!um“diameterŽ¡‘_7ªtree–Xaalgorithm.‘í#In“ÆWD•¸\A“G95–Ž¨Distribute‘ÿp¹d“A¸\lgorithms“9th“International“Work-Ž¡‘_7ªshop›êêPr–ÿp¹o“c“e“e“dings,˜Springer˜LNCS:972¹,–¦fpages“257{272,“1995.Ž¦‘sç[Bo²!w62]ŽŽ‘_7ªJR–ýBo²!wman.›ÝA‘ýtransmission“line“leading“to“self-stabilizing“systems.˜In“ÆPrin-Ž¡‘_7ªciples–êêof“Self-Or‘ÿp¹ganization¹,–¦fpages“417{424.“P²!ergamon“Press,“1962.Ž¦‘sç[BP89a]ŽŽ‘_7ªP›À„Bielk•²!o“wicz˜and˜G˜P“arr.‘dA‘ÀJloMÞop-detect˜pac“k“et˜based˜self˜stabilizing˜bridge˜pro-Ž¡‘_7ªtoMÞcol–Ũfor“extended-LANs.‘lhÆA¸\CM–òSIGCOMM“Computer–'Communic›ÿp¹ation“R˜eview¹,Ž¡‘_7ª19(5):72{81,‘¦f1989.ŽŽŸsç’ó|’10ŽŽŒ‹ rú ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[BP89b]ŽŽ‘_7ªJE–B(Burns“and“J“P•²!ac“hl.›ªéUniform–B(self-stabilizing“rings.˜ÆA¸\CM‘zT‘ÿ)r‘ÿp¹ansactions‘z6onŽ¤ ™š‘_7ªPr–ÿp¹o“gr“amming›êêL“anguages˜and˜Systems¹,–¦f11(2):330{344,“1989.Ž©™š‘sç[Bur87]ŽŽ‘_7ªJE–‹Burns.›Self-stabilizing“rings“without“demons.˜T‘ÿeec²!hnical“RepMÞort“GIT-ICS-Ž¡‘_7ª87/36,–¦fGeorgia“T‘ÿeec²!h,“1987.Ž¦‘sç[BV97]ŽŽ‘_7ªP–:…Boldi“and“S“Vigna.› Self-stabilizing“univ²!ersal“algorithms.˜In“ÆPr–ÿp¹o“c“e“e“dingsŽ¡‘_7ªof–the“Thir‘ÿp¹d“Workshop“on“Self-Stabilizing“Systems¹,‘)#pages–ÛÊ141{156.“CarletonŽ¡‘_7ªUniv•²!ersit“y–¦fPress,“1997.Ž¦‘sç[BV99]ŽŽ‘_7ªP–ÿ¤Boldi“and“S“Vigna.‘ä±Computing“anonš²!ymously“with“arbitrary“kno˜wledge.‘ä±InŽ¡‘_7ªÆPODC99›W>Pr–ÿp¹o“c“e“e“dings˜of˜the˜Eighte“enth˜A•¸\nnual˜A“CM‘WSymp‘ÿp¹osium˜on˜PrinciplesŽ¡‘_7ªof–êêDistribute‘ÿp¹d“Computing¹,–¦fpages“181{188,“1999.Ž¦‘sç[BV02a]ŽŽ‘_7ªP–$Boldi“and“S“Vigna.›QIHolographic“trees.˜In“ÆLA‘ÿ)TIN02›^ŠPr–ÿp¹o“c“e“e“dings˜of˜the˜5thŽ¡‘_7ªL–ÿp¹atin›ÇLA¸\meric“an˜Symp“osium˜on˜The“or“etic“al˜INformatics,‘ÎlSpringer˜LNCS:2286¹,Ž¡‘_7ªpages–¦f465{478,“2002.Ž¦‘sç[BV02b]ŽŽ‘_7ªP–'uBoldi“and“S“Vigna.‘[XUnivš²!ersal“dynamic“sync˜hronous“self-stabilization.‘[XÆDis-Ž¡‘_7ªtribute‘ÿp¹d‘êêComputing¹,–¦f15(3):137{153,“2002.Ž¦‘sç[BY93]ŽŽ‘_7ªFB–V^Bastani“and“IL“Y‘ÿeen.‘ âInherenš²!t“fault“tolerance“in“decen˜tralized“proMÞcess-Ž¡‘_7ªcon²!trol–)Fsystems.‘ [¦In“ÆInternational–N×Symp›ÿp¹osium“on“A¸\utonomous“De˜c˜entr˜alize˜dŽ¡‘_7ªSystems,–êêKawasaki“Jap‘ÿp¹an¹,–¦fpages“267{274,“1993.Ž¦‘sç[BYC88]ŽŽ‘_7ªF–ø²Bastani,› EI“Y‘ÿeen,˜and“I“Chen.‘ÏÿA‘øclass“of“inherenš²!tly“fault“toleran˜t“distributedŽ¡‘_7ªprograms.‘ÚÀÆIEEE–êêT‘ÿ)r›ÿp¹ansactions“on“Softwar˜e“Engine˜ering¹,–¦f14:1432{1442,“1988.Ž¦‘sç[BYZ89]ŽŽ‘_7ªF–ÑEBastani,›ÛýI“Y‘ÿeen,˜and“Y“Zhao.‘ZƒOn“self-stabilization,˜non-determinism“and“in-Ž¡‘_7ªheren²!t–Ôfault“tolerance.‘ÑÀIn“ÆPr–ÿp¹o“c“e“e“dings–UZof“the“MCC‘U3Workshop“on“Self-StabilizingŽ¡‘_7ªSystems,–êêMCC“T‘ÿ)e–ÿp¹chnic“al›êêR“ep“ort˜No.˜STP-379-89¹,‘¦f1989.Ž¦‘sç[CD94]ŽŽ‘_7ªZ–«°Collin“and“S“Dolev.›BSelf-stabilizing“depth- rst“searc²!h.˜ÆInformation‘CPr–ÿp¹o“c“essingŽ¡‘_7ªL‘ÿp¹etters¹,–¦f49:297{301,“1994.Ž¦‘sç[CDK91]ŽŽ‘_7ªZ–59Collin,›XîR“Dec•²!h“ter,˜and–59S“Katz.‘„_On“the“feasibilitš²!y“of“distributed“constrain˜tŽ¡‘_7ªsatisfaction.‘e9In‘Á@ÆIJCAI91›Pr–ÿp¹o“c“e“e“dings˜of˜the˜12th˜International˜Joint˜Confer“enc“eŽ¡‘_7ªon–êêA¸\rti cial“Intel‘Fligenc‘ÿp¹e“(V‘ÿ)olume“1)¹,–¦fpages“318{324,“1991.Ž¦‘sç[CDK99]ŽŽ‘_7ªZ–¨tCollin,›èøR“Dec•²!h“ter,˜and–¨tS“Katz.‘ÛÃSelf-stabilizing“distributed“constrain²!t“sat-Ž¡‘_7ªisfaction.‘ F~ÆChic›ÿp¹ago–HNJournal“of“The˜or˜etic˜al“Computer“Scienc˜e¹,‘1999(10):1{38,Ž¡‘_7ª1999.Ž¦‘sç[CDPV01a]ŽŽ‘_7ªS–Can²!tarell,›"(AK“Datta,˜F“P²!etit,˜and“V“Villain.‘ÍMOptimal“snap-stabilizing“PIF‘ïinŽ¡‘_7ªun-orien²!ted–¨[trees.‘<¥In“Æ5th–2International“Confer–ÿp¹enc“e–2On“Principles“Of“DIstribute‘ÿp¹dŽ¡‘_7ªSystems,‘êêOPODIS'2001¹,–¦fpages“??{??,“2001.ŽŽŸsç’ó|’11ŽŽŒ‹ € ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[CDPV01b]ŽŽ‘_7ªA–Ü Cournier,›éwAK“Datta,˜F“P²!etit,˜and“V“Villain.‘z¢Self-stabilizing“PIF‘ÛÿalgorithmŽ¤ ™š‘_7ªin–½oarbitrary“roMÞoted“net•²!w“orks.‘dIn‘½oÆICDCS01–The“21st“IEEE‘International“Con-Ž¡‘_7ªfer–ÿp¹enc“e–êêon“Distribute‘ÿp¹d“Computing“Systems¹,–¦fpages“91{98,“2001.Ž©™š‘sç[CDPV02]ŽŽ‘_7ªA–TðCournier,›e:AK“Datta,˜F“P²!etit,˜and“V“Villain.‘UöSnap-stabilizing“PIF‘TÛalgorithmŽ¡‘_7ªin–äkarbitrary“net•²!w“orks.‘“’In‘äkÆICDCS02–#ùThe“22nd“IEEE‘#êInternational“Confer–ÿp¹enc“eŽ¡‘_7ªon–êêDistribute‘ÿp¹d“Computing“Systems¹,–¦fpages“199{206,“2002.Ž¦‘sç[CDT02]ŽŽ‘_7ªY–ùÒChen,›N¬AK“Datta,˜and“S“Tixeuil.‘ÎÆComputers–UDand“Ele–ÿp¹ctric“al‘UDEngine“ering¹,Ž¡‘_7ª20(6):439{444,‘¦f1994.Ž¦‘sç[CT91]ŽŽ‘_7ªTD–»Chandra“and“S“T‘ÿeoueg.‘>]Unreliable“failure“detectors“for“async²!hronous“sys-Ž¡‘_7ªtems.‘1µIn‘>²ÆPODC91›‹‚Pr–ÿp¹o“c“e“e“dings˜of˜the˜T‘ÿ)enth˜A•¸\nnual˜A“CM‘‹iSymp‘ÿp¹osium˜on˜Prin-Ž¡‘_7ªciples–êêof“Distribute‘ÿp¹d“Computing¹,–¦fpages“325{340,“1991.ŽŽŸsç’ó|’13ŽŽŒ‹™5 ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[CTW93]ŽŽ‘_7ªD–å!CoppMÞersmith,›ôÐP“T‘ÿeetali,˜and“P“Winkler.‘•°Collisions“among“random“w²!alks“onŽ¤ ™š‘_7ªa›¦fgraph.‘ÚÀÆSIAM–êêJournal“on“Discr‘ÿp¹ete“Mathematics¹,˜6(3):363{374,˜1993.Ž©¬ö‘sç[CV96]ŽŽ‘_7ªA–;×Costello“and“G“V‘ÿearghese.‘-Self-stabilization“bš²!y“windo˜w“w˜ashing.‘-In“ÆPODC96Ž¡‘_7ªPr–ÿp¹o“c“e“e“dings–-Con•²!v“ergence‘Ûõre nemen“t.˜In‘ÛõÆICDCS02–µThe“22ndŽ¡‘_7ªIEEE‘r¶International›rÕConfer–ÿp¹enc“e˜on˜Distribute“d˜Computing˜Systems¹,‘=úpages‘#à589{Ž¡‘_7ª597,‘¦f2002.Ž¦‘sç[DB94]ŽŽ‘_7ªAK–ÚÊDatta“and“B“Bourgon.‘vßA‘Ú¼self-stabilizing“quic•²!k“est–ÚÊpath“routing“algorithm.Ž¡‘_7ªIn‘V†ÆIEEE‘x13th–xwA¸\nnual“International“Pho›ÿp¹enix“Confer˜enc˜e“on“Computers“andŽ¡‘_7ªCommunic‘ÿp¹ations¹,–¦fpage“255,“1994.Ž¦‘sç[DDL‘ÿeT00]ŽŽ‘_7ªAK–¶Datta,›mÊJL“Derb²!y‘ÿe,˜JE“La²!wrence,˜and“S“Tixeuil.‘ iStabilizing“hierarc²!hicalŽ¡‘_7ªrouting.‘ÚÀÆJournal–êêof“Inter–ÿp¹c“onnexion‘êêNetworks¹,–¦f1(4):283{302,“2000.Ž¦‘sç[DDT99a]ŽŽ‘_7ªS–©øK›©÷Das,‘ªÜA“K˜Datta,‘ªÜand“S“Tixeuil.‘ådSelf-stabilizing“algorithms“in“D•²!A“G˜struc-Ž¡‘_7ªtured›áØnet•²!w“orks.‘šZIn˜ÆI-SP‘ÿ)AN'99,‘Z@5th–6International“Symp›ÿp¹osium“on“Par˜al‘Flel“A¸\r˜chi-Ž¡‘_7ªte–ÿp¹ctur“es,›>A¸\lgorithms–uÒand“Networks“Pr–ÿp¹o“c“e“e“dings,˜IEEE‘uµComputer›uÒSo“ciety˜Pr“ess¹,Ž¡‘_7ªpages–¦f190{195,“1999.Ž¦‘sç[DDT99b]ŽŽ‘_7ªSK–û`Das,›žAK“Datta,˜and“S“Tixeuil.‘×ûSelf-stabilizing“algorithms“on“DAG‘ûJstruc-Ž¡‘_7ªtured‘¦fnet•²!w“orks.‘ÚÀÆPar–ÿp¹al‘Flel›êêPr“o“c“essing˜L“etters¹,–¦f9(4):563{574,“1999.Ž¦‘sç[Deb95]ŽŽ‘_7ªXA–ÁçDebšMÞest.‘'˜Remark“ab˜out“self-stabilizing“systems.‘'˜ÆCommunic‘ÿp¹ations–ï¼of“theŽ¡‘_7ªAsso‘ÿp¹ciation–êêof“the“Computing“Machinery¹,–¦f38(2):115{117,“F‘ÿeebruary“1995.Ž¦‘sç[Del95]ŽŽ‘_7ªS–êçDela²"‘úÔDet.‘¦äAlgorithme“d'exclusion“mš²!utuelle“auto-stabilisan˜t“sur“un“r²"‘úÔDeseau“uni-Ž¡‘_7ªdirectionel‘“Óquelconque.‘žHÆJourn‘þás'ees–ÅXdes“Jeunes“Cher‘ÿp¹cheurs“en“Syst¸\‘ú®çemes“Infor-Ž¡‘_7ªmatiques‘êêR¸\‘ú®çep‘ÿp¹artis¹,–¦f?:??{??,“1995.Ž¦‘sç[DFN01]ŽŽ‘_7ªM–mÎDu ot,›Ÿ¨L“F‘ÿeribMÞourg,˜and“U“Nilsson.‘,üUna•²!v“oidable–mÎcon gurations“of“param-Ž¡‘_7ªeterized–³#rings“of“proMÞcesses.‘û™In“ÆCONCUR01›â'Pr–ÿp¹o“c“e“e“dings˜of˜the˜12th˜Interna-Ž¡‘_7ªtional›ЖConfer–ÿp¹enc“e˜on˜Concurr“ency˜The“ory,‘ Springer˜LNCS:2154¹,‘Þspages‘  472{Ž¡‘_7ª486,‘¦f2001.ŽŽŸsç’ó|’14ŽŽŒ‹¦õ ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[DFP01]ŽŽ‘_7ªM–C|Du ot,›jÂL“F‘ÿeribMÞourg,˜and“C“Picaronn²!y‘ÿe.‘®ßRandomized“ nite-state“distributedŽ¤ ™š‘_7ªalgorithms–pÀas“Mark•²!o“v›pÀc“hains.‘ƒMIn˜ÆDISC01–¹ŽDistribute‘ÿp¹d“Computing“15th“Interna-Ž¡‘_7ªtional–êêSymp‘ÿp¹osium,“Springer“LNCS:2180¹,–¦fpages“240{254,“2001.Ž©™š‘sç[DFT97]ŽŽ‘_7ªAK–¬cDatta,›­âM“FlatebMÞo,˜and“V“Thiagara‘›»jan.‘ì˜Sim²!ulation“of“self-stabilizing“algo-Ž¡‘_7ªrithms.‘ÚÀÆComputer–êêSystems“Scienc›ÿp¹e“and“Engine˜ering¹,–¦f12(5):295{306,“1997.Ž¦‘sç[DGPV00]ŽŽ‘_7ªAK–°Datta,›rÂS“Gurum•²!urth“y‘ÿe,˜F‘°P“etit,˜and–°V“Villain.‘ $BSelf-stabilizing“net•²!w“orkŽ¡‘_7ªorienš²!tation–ù_algorithms“in“arbitrary“roMÞoted“net˜w˜orks.‘ÌäIn“ÆICDCS00–"ÄThe“20thŽ¡‘_7ªIEEE‘r¶International›rÕConfer–ÿp¹enc“e˜on˜Distribute“d˜Computing˜Systems¹,‘=úpages‘#à576{Ž¡‘_7ª583,‘¦f2000.Ž¦‘sç[DGS96]ŽŽ‘_7ªS–¡õDolev,›¢ÙMG“Gouda,˜and“M“Scš²!hneider.‘ÓƒMemory“requiremen˜ts“for“silen˜t“stabi-Ž¡‘_7ªlization.‘iIn‘`¢ÆPODC96›ª»Pr–ÿp¹o“c“e“e“dings˜of˜the˜Fifte“enth˜A•¸\nnual˜A“CM‘ªªSymp‘ÿp¹osium˜onŽ¡‘_7ªPrinciples–êêof“Distribute‘ÿp¹d“Computing¹,–¦fpages“27{34,“1996.Ž¦‘sç[DGS99]ŽŽ‘_7ªS–¡õDolev,›¢ÙMG“Gouda,˜and“M“Scš²!hneider.‘ÓƒMemory“requiremen˜ts“for“silen˜t“stabi-Ž¡‘_7ªlization.‘ÚÀÆA–ÿp¹cta‘êêInformatic“a¹,–¦f36(6):447{462,“1999.Ž¦‘sç[DGT95]ŽŽ‘_7ªAK–‰°Datta,›‚TF“Gonzalez,˜and“V“Thiagara‘›»jan.‘€Self-stabilizing“algorithms“forŽ¡‘_7ªtree–_Ömetrics.‘g»In“ÆICAPP95–ªIEEE‘©ïFirst“International“Confer–ÿp¹enc“e–ªon“A¸\lgorithmsŽ¡‘_7ªand›êêA¸\r–ÿp¹chite“ctur“es˜for˜Par“al‘Flel˜Pr“o“c“essing¹,–¦fpages“471{479,“1995.Ž¦‘sç[DGT00]ŽŽ‘_7ªAK–Y>Datta,›ÅóM“Gradinariu,˜and“S“Tixeuil.‘ ê—Self-stabilizing“m²!utual“exclusionŽ¡‘_7ªusing–f4unfair“distributed“sc²!heduler.‘ 6In“ÆIPDPS'2000›†äPr–ÿp¹o“c“e“e“dings˜of˜the˜14thŽ¡‘_7ªInternational–‡Par›ÿp¹al‘Flel“and“Distribute˜d“Pr˜o˜c˜essing“Symp˜osium¹,‘z‚pages‘P465{470,Ž¡‘_7ª2000.Ž¦‘sç[DH95]ŽŽ‘_7ªS–ëžDolev“and“T“Herman.‘£éSupšMÞerstabilizing“proto˜cols“for“dynamic“distributedŽ¡‘_7ªsystems.‘üIn‘]eÆPr–ÿp¹o“c“e“e“dings–“Eof“the“Se–ÿp¹c“ond–“EWorkshop“on“Self-Stabilizing“Systems¹,Ž¡‘_7ªpages–¦f3.1{3.15,“1995.Ž¦‘sç[DH97]ŽŽ‘_7ªS–ëžDolev“and“T“Herman.‘£éSupšMÞerstabilizing“proto˜cols“for“dynamic“distributedŽ¡‘_7ªsystems.‘ÚÀÆChic›ÿp¹ago–êêJournal“of“The˜or˜etic˜al“Computer“Scienc˜e¹,–¦f3(4),“1997.Ž¦‘sç[DH99]ŽŽ‘_7ªS–MDolev“and“T“Herman.› &P²!arallel“compMÞosition“of“stabilizing“algorithms.˜InŽ¡‘_7ªÆPr–ÿp¹o“c“e“e“dings–€(of“the“F‘ÿ)ourth“Workshop“on“Self-Stabilizing“Systems“(publishe‘ÿp¹d“inŽ¡‘_7ªasso›ÿp¹ciation–åMCC˜T‘ÿ)e–ÿp¹chnic“alŽ¡‘_7ªR–ÿp¹ep“ort–êêNo.“STP-379-89¹,‘¦f1989.Ž¦‘sç[DIM89b]ŽŽ‘_7ªS–¼Dolev,›A“Israeli,˜and“S“Moran.›¬Self“stabilization“of“dynamic“systems.˜InŽ¡‘_7ªÆPr–ÿp¹o“c“e“e“dings–q=of“the“16th“Confer–ÿp¹enc“e–q=of“Ele–ÿp¹ctric“al–q=and“Ele–ÿp¹ctr“onics›q=Engine“ers˜inŽ¡‘_7ªIsr‘ÿp¹ael¹,–¦fpages“1{4,“1989.Ž¦‘sç[DIM91a]ŽŽ‘_7ªS–ºDolev,›¿A“Israeli,˜and“S“Moran.‘fResource“bMÞounds“for“self“stabilizing“messageŽ¡‘_7ªdriv²!en–öprotoMÞcols.‘!?In“ÆPODC91›O¶Pr–ÿp¹o“c“e“e“dings˜of˜the˜T‘ÿ)enth˜A•¸\nnual˜A“CM‘OœSymp‘ÿp¹o-Ž¡‘_7ªsium–êêon“Principles“of“Distribute‘ÿp¹d“Computing¹,–¦fpages“281{293,“1991.Ž¦‘sç[DIM91b]ŽŽ‘_7ªS–¦Dolev,›¦-A“Israeli,˜and“S“Moran.‘ÚKUniform“dynamic“self-stabilizing“leader“elec-Ž¡‘_7ªtion.‘èIn‘‰ÆWD•¸\A“G91–aöDistribute›ÿp¹d“A¸\lgorithms“5th“International“Workshop“Pr˜o˜c˜e˜e˜d-Ž¡‘_7ªings,–êêSpringer“LNCS:579¹,–¦fpages“167{180,“1991.Ž¦‘sç[DIM93]ŽŽ‘_7ªS–šyDolev,›ÐA“Israeli,˜and“S“Moran.‘&Self-stabilization“of“dynamic“systems“assumingŽ¡‘_7ªonly–¦fread/write“atomicit²!y‘ÿe.‘ÚÀÆDistribute‘ÿp¹d‘êêComputing¹,“7(1):3{16,“1993.Ž¦‘sç[DIM95]ŽŽ‘_7ªS–8ODolev,›\ÉA“Israeli,˜and“S“Moran.‘‘Analyzing“expMÞected“time“bš²!y“sc˜heduler-luc˜kŽ¡‘_7ªgames.‘ÚÀÆIEEE–êêT‘ÿ)r›ÿp¹ansactions“on“Softwar˜e“Engine˜ering¹,–¦f21:429{439,“1995.Ž¦‘sç[DIM97a]ŽŽ‘_7ªS–l’Dolev,›x#A“Israeli,˜and“S“Moran.‘||Resource“bMÞounds“for“self-stabilizing“message-Ž¡‘_7ªdriv²!en›¦fprotoMÞcols.‘ÚÀÆSIAM–êêJournal“on“Computing¹,˜26(1):273{290,˜1997.Ž¦‘sç[DIM97b]ŽŽ‘_7ªS–¦Dolev,›¦-A“Israeli,˜and“S“Moran.‘ÚKUniform“dynamic“self-stabilizing“leader“elec-Ž¡‘_7ªtion.‘Ê‘ÆIEEE‘ÒÈT‘ÿ)r›ÿp¹ansactions–Óon“Par˜al‘Flel“and“Distribute˜d“Systems¹,‘áÁ8(4):424{440,Ž¡‘_7ª1997.Ž¦‘sç[DJPV98]ŽŽ‘_7ªAK–ŸDatta,› †C“Johnen,˜F“P²!etit,˜and“V“Villain.‘ÎÇSelf-stabilizing“depth- rst“tok²!enŽ¡‘_7ªcirculation–Ä©in“arbitrary“roMÞoted“net•²!w“ork.‘/ÑIn‘Ä©Æ5th–òFInternational“Col‘Flo‘ÿp¹quium“onŽ¡‘_7ªStructur›ÿp¹al–jInformation“and“Communic˜ation“Complexity“(SIR¸\OCCO'98)¹,‘6^pagesŽ¡‘_7ª32{46,‘¦f1998.Ž¦‘sç[DJPV00]ŽŽ‘_7ªAK–ŸDatta,› †C“Johnen,˜F“P²!etit,˜and“V“Villain.‘ÎÇSelf-stabilizing“depth- rst“tok²!enŽ¡‘_7ªcirculation–ƒïin“arbitrary“roMÞoted“net•²!w“orks.‘FÆDistribute‘ÿp¹d‘ß°Computing¹,‘¾13(4):207{218,Ž¡‘_7ª2000.ŽŽŸsç’ó|’16ŽŽŒ‹Â. ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[DK02]ŽŽ‘_7ªS–yÔDolev“and“R“Kat.›PÑSelf-stabilizing“distributed“ le“systems.˜In“ÆR¸\CDS‘­;2002Ž¤ ™š‘_7ªInternatinal–RWorkshop“on“Self-R–ÿp¹ep“airing–Rand“Self-Con gur›ÿp¹able“Distribute˜d“Sys-Ž¡‘_7ªtems¹,–¦fpages“384{389,“2002.Ž©™š‘sç[DKVW95]ŽŽ‘_7ªJ–ã¨Desel,›2øE“Kindler,˜T“V‘ÿeespMÞer,˜and“R“W‘ÿealter.‘Œ/A‘ãVsimpli ed“proMÞof“for“a“self-Ž¡‘_7ªstabilizing–ȾprotoMÞcol:‘"Ža“game“of“cards.‘AÆInformation› ƒPr–ÿp¹o“c“essing˜L“etters¹,‘ÑT54:327{Ž¡‘_7ª328,‘¦f1995.Ž¦‘sç[DL98]ŽŽ‘_7ªJ–/Durand-Lose.›*oRandomized“uniform“self-stabilization“m²!utual“exclusion.˜In“Æ2ndŽ¡‘_7ªInternational›;$Confer–ÿp¹enc“e˜On˜Principles˜Of˜DIstribute“d˜Systems,‘O2OPODIS'98¹,Ž¡‘_7ªpages–¦f89{98,“1998.Ž¦‘sç[DL00]ŽŽ‘_7ªJ–ó³Durand-Lose.›ÁRandomized“uniform“self-stabilizing“m²!utual“exclusion.˜ÆInfor-Ž¡‘_7ªmation›êêPr–ÿp¹o“c“essing˜L“etters¹,–¦f74(5-6):203{207,“2000.Ž¦‘sç[DO93]ŽŽ‘_7ªD–PDeugo“and“F“Oppac•²!her.‘ËðAc“hieving–Pself-stabilization“in“a“distributed“systemŽ¡‘_7ªusing–¿Œev²!olutionary“strategies.‘bsIn“ÆAš¸\rti cial–ˆNeur‘ÿp¹al“Nets“and“Genetic“A˜lgorithms,Ž¡‘_7ªPr–ÿp¹o“c“e“e“dings–Éof“the“International“Confer–ÿp¹enc“e¹,‘Ô,pages–—Ñ400{407.“Springer-V‘ÿeerlag,Ž¡‘_7ª1993.Ž¦‘sç[Dol93]ŽŽ‘_7ªS–ŸDolev.›îlOptimal“time“self-stabilization“in“dynamic“systems.˜In“ÆWD•¸\A“G93Ž¡‘_7ªDistribute›ÿp¹d–dA¸\lgorithms“7th“International“Workshop“Pr˜o˜c˜e˜e˜dings,‘ŠSpringerŽ¡‘_7ªLNCS:725¹,–¦fpages“160{173,“1993.Ž¦‘sç[Dol94]ŽŽ‘_7ªS–=ÈDolev.›ßOptimal“time“self-stabilization“in“uniform“dynamic“systems.˜In“Æ6thŽ¡‘_7ªIASTED‘¬International›¬#Confer–ÿp¹enc“e˜on˜Par“al‘Flel˜and˜Distribute“d˜Computing˜andŽ¡‘_7ªSystems¹,–¦fpages“25{28,“1994.Ž¦‘sç[Dol97a]ŽŽ‘_7ªS–QDolev.‘SP²!ossible“and“impšMÞossible“self-stabilizing“digital“clo˜cš²!k“sync˜hronizationŽ¡‘_7ªin–¦fgeneral“graphs.‘ÚÀÆJournal–êêof“R–ÿp¹e“al-Time‘êêSystems¹,–¦f12(1):95{107,“1997.Ž¦‘sç[Dol97b]ŽŽ‘_7ªS–_žDolev.›g_Self-stabilizing“routing“and“related“protoMÞcols.˜ÆJournal–©Ëof“Par‘ÿp¹al‘Flel“andŽ¡‘_7ªDistribute‘ÿp¹d‘êêComputing¹,–¦f42(2):122{127,“1997.Ž¦‘sç[Dol98]ŽŽ‘_7ªS–¨rDolev.›àÙOptimal“time“self-stabilization“in“uniform“dynamic“systems.˜ÆPar‘ÿp¹al‘FlelŽ¡‘_7ªPr–ÿp¹o“c“essing‘êêL“etters¹,–¦f8(1):7{18,“1998.Ž¦‘sç[Dol00]ŽŽ‘_7ªS›¦fDolev.–ÚÀÆSelf-Stabilization¹.“MIT˜Press,˜2000.Ž¦‘sç[Dou00]ŽŽ‘_7ªSC–·ŠDouglas.‘UeSelf-stabilized“gradien²!t“algorithms“for“blind“source“separation“withŽ¡‘_7ªorthogonalit•²!y‘ÕLconstrain“ts.‘…çÆIEEE‘*ZT‘ÿ)r›ÿp¹ansactions–*‹on“Neur˜al“Networks¹,‘ÿ11(6):1490{Ž¡‘_7ª1497,‘¦f2000.Ž¦‘sç[DPW95]ŽŽ‘_7ªS–â®Dolev,› ÓDK“Pradhan,˜and“JL“W‘ÿeelc²!h.‘›·MošMÞdi ed“tree“structure“for“lo˜cation“man-Ž¡‘_7ªagemenš²!t– Òin“mobile“en˜vironmen˜ts.‘ÞÇIn“ÆPr–ÿp¹o“c“e“e“dings–\´of“the“14th“A¸\nnual“Joint“Con-Ž¡‘_7ªfer–ÿp¹enc“e–/.of“the“IEEE‘.þComputer“and“Communic›ÿp¹ations“So˜cieties“(INF¸\OCOM'95)¹,Ž¡‘_7ªpages–¦f530{537,“1995.ŽŽŸsç’ó|’17ŽŽŒ‹Ï' ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[DPW96]ŽŽ‘_7ªS–CDolev,›`ºDK“Pradhan,˜and“JL“W‘ÿeelc²!h.‘ùEMošMÞdi ed“tree“structure“for“lo˜cationŽ¤ ™š‘_7ªmanagemenš²!t–9Êin“mobile“en˜vironmen˜ts.‘)¶ÆComputer‘†ÿCommunic‘ÿp¹ations¹,‘Oƒ19:335{345,Ž¡‘_7ª1996.Ž©™š‘sç[DR00]ŽŽ‘_7ªS–§;Dolev“and“S“Ra‘›»jsbaum.‘ ÒÿStabilitš²!y“of“long-liv˜ed“consensus.‘ ÒÿIn“ÆPODC00Ž¡‘_7ªPr–ÿp¹o“c“e“e“dings–K>of“the“Ninete‘ÿp¹enth“Aš¸\nnual“A˜CM‘K%Symp‘ÿp¹osium“on“Principles“of“Dis-Ž¡‘_7ªtribute‘ÿp¹d‘êêComputing¹,–¦fpages“309{318,“2000.Ž¦‘sç[DS01]ŽŽ‘_7ªS–ßDolev“and“E“Sc•²!hiller.‘)ëComm“unication›ßadaptiv“e˜self-stabilizing˜group˜mem-Ž¡‘_7ªbMÞership–c¦service.‘mñIn“ÆWSS01›­Pr–ÿp¹o“c“e“e“dings˜of˜the˜Fifth˜International˜Workshop˜onŽ¡‘_7ªSelf-Stabilizing–êêSystems,“Springer“LNCS:2194¹,–¦fpages“82{97,“2001.Ž¦‘sç[DSW02]ŽŽ‘_7ªS–~«Dolev,›†E“Sc²!hiller,˜and“J“W‘ÿeelcš²!h.‘™ýRandom“w˜alk“for“self-stabilizing“group“com-Ž¡‘_7ªmš²!unication–½Çin“ad-hoMÞc“net˜w˜orks.‘NIn“ÆSRDS‘ë¯2002–ëñ21st“Symp›ÿp¹osium“on“R˜eliableŽ¡‘_7ªDistribute›ÿp¹d–êêSystems,“IEEE“Computer“So˜ciety“Pr˜ess¹,–¦fpages“70{79,“2002.Ž¦‘sç[DT97]ŽŽ‘_7ªS–³9Delaš²"‘úÔDet“and“S“Tixeuil.‘ûÚAuto-stabilisation“en“d˜‘úÔDepit“de“comm²!unications“nonŽ¡‘_7ª ables.‘ÉÂIn‘L‚ÆA›ÿp¹cte–ƒ»des“9-¸\‘ú®çemes“R˜onc˜ontr˜es“F‘ÿ)r˜anc˜ophones“du“Par˜al‘Fl¸\‘ú®çelisme“(REN-Ž¡‘_7ªP‘ÿ)AR'97)¹,–¦fpages“??{??,“1997.Ž¦‘sç[DT98a]ŽŽ‘_7ªS–Ù&Delaš²"‘úÔDet“and“S“Tixeuil.‘qüUn“algorithme“auto-stabilisan²!t“en“d˜‘úÔDepit“de“comm²!uni-Ž¡‘_7ªcations–¦fnon“ ables.‘ÚÀÆT‘ÿ)e›ÿp¹chnique–êêet“Scienc˜e“Informatiques¹,–¦f5(17),“1998.Ž¦‘sç[DT98b]ŽŽ‘_7ªB–¹GDucourthial“and“S“Tixeuil.‘ ÇSelf-stabilizing“global“computations“with“r-Ž¡‘_7ªopMÞerators.‘ÿåIn‘²ÝÆ2nd–öbInternational“Confer–ÿp¹enc“e–öbOn“Principles“Of“DIstribute‘ÿp¹d“Sys-Ž¡‘_7ªtems,‘êêOPODIS'98¹,–¦fpages“99{113,“1998.Ž¦‘sç[DT00a]ŽŽ‘_7ªS–¥ÃDela²"‘úÔDet“and“S“Tixeuil.‘8kT‘ÿeolerating“transienš²!t“and“in˜termitten˜t“failures.‘8kIn“Æ4th‘þÏIn-Ž¡‘_7ªternational›[Confer–ÿp¹enc“e˜On˜Principles˜Of˜DIstribute“d˜Systems,‘+7OPODIS'2000¹,Ž¡‘_7ªpages–¦f17{26.“Studia“Informatica“Univ²!ersalis,“2000.Ž¦‘sç[DT00b]ŽŽ‘_7ªB–úûDucourthial“and“S“Tixeuil.›ѱSelf-stabilization“with“path“algebra.˜In“ÆPr‘ÿp¹o-Ž¡‘_7ªc–ÿp¹e“e“dings–[ of“the“6th“International“Col‘Flo›ÿp¹quium“on“Structur˜al“Information“andŽ¡‘_7ªCommunic‘ÿp¹ation–êêComplexity“(SIR¸\OCCO'2000)¹,–¦fpages“95{110,“2000.Ž¦‘sç[DT01a]ŽŽ‘_7ªAK–¾ÖDatta“and“S“Tixeuil.‘#’Self-stabilizing“distributed“sorting“on“tree“net•²!w“orks.Ž¡‘_7ªÆPar›ÿp¹al‘Flel–êêA¸\lgorithms“and“Applic˜ations¹,–¦f16(1):1{15,“Jan“2001.Ž¦‘sç[DT01b]ŽŽ‘_7ªB–Z:Ducourthial“and“S“Tixeuil.›ò¤Self-stabilization“with“r-opMÞerators.˜ÆDistribute‘ÿp¹dŽ¡‘_7ªComputing¹,–¦f14(3):147{162,“2001.Ž¦‘sç[DT02]ŽŽ‘_7ªS–eDela²"‘úÔDet“and“S“Tixeuil.‘pXT‘ÿeolerating“transienš²!t“and“in˜termitten˜t“failures.‘pXÆJournalŽ¡‘_7ªof–êêPar›ÿp¹al‘Flel“and“Distribute˜d“Computing¹,–¦f62(5):961{981,“2002.Ž¦‘sç[DTOF94]ŽŽ‘_7ªAK–JßDatta,›]-V“Thiagara‘›»jan,˜E“Outley‘ÿe,˜and“M“FlatebMÞo.‘EŽStabilization“of“the“X.25Ž¡‘_7ªconnection–˜˜managemen²!t“protoMÞcol.‘¬In“ÆICCI94–É»Sixth“International“Confer–ÿp¹enc“eŽ¡‘_7ªon–êêComputing“and“Information¹,–¦fpages“1637{1654,“1994.ŽŽŸsç’ó|’18ŽŽŒ‹Û ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[D²!W93]ŽŽ‘_7ªS–cDolev“and“JL“W–ÿeelcš²!h.‘öªW“ait-free–ccloMÞc˜k“sync˜hronization.‘öªIn“ÆPODC93‘/ªPr‘ÿp¹o-Ž¤ ™š‘_7ªc–ÿp¹e“e“dings–H˜of“the“Twelfth“Aš¸\nnual“A˜CM‘H€Symp›ÿp¹osium“on“Principles“of“Distribute˜dŽ¡‘_7ªComputing¹,–¦fpages“97{107.“A²!CM,“1993.Ž©™š‘sç[D²!W95]ŽŽ‘_7ªS–IîDolev“and“JL“W‘ÿeelcš²!h.‘ÂSelf-stabilizing“cloMÞc˜k“sync˜hronization“in“the“presenceŽ¡‘_7ªof›¹òb•²!yzan“tine˜faults.‘In˜ÆPr–ÿp¹o“c“e“e“dings–üæof“the“Se–ÿp¹c“ond–üæWorkshop“on“Self-StabilizingŽ¡‘_7ªSystems¹,–¦fpages“9.1{9.12,“1995.Ž¦‘sç[D²!W97a]ŽŽ‘_7ªS–IHDolev“and“JL“W‘ÿeelcš²!h.‘À$Crash“resilien˜t“comm˜unication“in“dynamic“net˜w˜orks.Ž¡‘_7ªÆIEEE–êêT‘ÿ)r‘ÿp¹ansactions“on“Computers¹,–¦f46(1):14{26,“1997.Ž¦‘sç[D²!W97b]ŽŽ‘_7ªS–¼ìDolev“and“JL“W–ÿeelcš²!h.‘‡W“ait-free–¼ìcloMÞc˜k“sync˜hronization.‘‡ÆA¸\lgorithmic‘ÿp¹a¹,Ž¡‘_7ª18(4):486{511,‘¦f1997.Ž¦‘sç[D²!WW86]ŽŽ‘_7ªIE– ºDammasc²!h,›cÎGP“W‘ÿeagner,˜and“JR“W‘ÿeol .‘ Self-stabilization“of“neural“net-Ž¡‘_7ªw²!orks–ª1I.“The“compMÞensation“algorithm“for“synaptogenesis.‘æÆBiolo–ÿp¹gic“al‘îhCyb“ernet-Ž¡‘_7ªics¹,–¦f54:211{222,“1986.Ž¦‘sç[ED98]ŽŽ‘_7ªO–îEtzion“and“B“Daha•²!v.‘'P“atterns–îof“self-stabilization“in“database“consistencyŽ¡‘_7ªmain²!tenance.‘ÚÀÆData–êêand“Know‘Fle›ÿp¹dge“Engine˜ering¹,–¦f28:299{319,“1998.Ž¦‘sç[ER95]ŽŽ‘_7ªS–óâEvš²!en“and“S“Ra‘›»jsbaum.‘Á§Unison,‘@canon“and“sluggish“cloMÞc˜ks“in“net˜w˜orks“con-Ž¡‘_7ªtrolled–¦fbš²!y“a“sync˜hronizer.‘ÚÀÆMathematic›ÿp¹al–êêSystems“The˜ory¹,–¦f28:421{435,“1995.Ž¦‘sç[FD92a]ŽŽ‘_7ªM–HžFlatebšMÞo“and“AK“Datta.‘¾*Self-stabilizing“deadlo˜c²!k“detection“algorithms.‘¾*InŽ¡‘_7ªÆPr–ÿp¹o“c“e“e“dings–|qof“the“1992“A•¸\CM‘|KA“nnual›|qConfer–ÿp¹enc“e˜on˜Communic“ations¹,‘l pagesŽ¡‘_7ª117{122,‘¦f1992.Ž¦‘sç[FD92b]ŽŽ‘_7ªM–JFlatebMÞo“and“AK“Datta.‘ ½8Sim²!ulation“of“self-stabilizing“algorithms“in“dis-Ž¡‘_7ªtributed–xÃsystems.‘M£In“ÆPr–ÿp¹o“c“e“e“dings–¬rof“the“25th“A¸\nnual“Simulation“Symp‘ÿp¹osium¹,Ž¡‘_7ªpages–¦f32{41,“1992.Ž¦‘sç[FD93a]ŽŽ‘_7ªM–KÐFlatebšMÞo“and“AK“Datta.‘GA‘K¹self-stabilizing“deadlo˜cš²!k“prev˜en˜tion“algorithm.‘GInŽ¡‘_7ªÆSixth–û.International“Confer–ÿp¹enc“e–û.on“Par›ÿp¹al‘Flel“and“Distribute˜d“Computing“Systems¹,Ž¡‘_7ªpages–¦f64{73,“1993.Ž¦‘sç[FD93b]ŽŽ‘_7ªM–r÷FlatebMÞo“and“AK“Datta.‘ 7?Self-stabilizing“load“balancing“for“an“arbitraryŽ¡‘_7ªnet•²!w“ork.‘PIn‘LÆICYCS93–MCY‘ÿ)oung“Computer“Scientists.“Pr–ÿp¹o“c“e“e“dings–MCof“the“3r‘ÿp¹d“In-Ž¡‘_7ªternational‘êêConfer–ÿp¹enc“e¹,–¦fpages“743{746,“1993.Ž¦‘sç[FD94]ŽŽ‘_7ªM–÷ÃFlatebMÞo“and“AK“Datta.‘¾Twš²!o-state“self-stabilizing“algorithms“for“tok˜en“rings.Ž¡‘_7ªÆIEEE–êêT‘ÿ)r›ÿp¹ansactions“on“Softwar˜e“Engine˜ering¹,–¦f20:500{504,“1994.Ž¦‘sç[FDB94]ŽŽ‘_7ªM–”}FlatebMÞo,›ÐAK“Datta,˜and“B“Bourgon.‘ CSelf-stabilizing“load“balancing“algo-Ž¡‘_7ªrithms.‘3ƒIn‘?ÍÆIEEE‘Œo13th–Œ‡A¸\nnual“International“Phe›ÿp¹onix“Confer˜enc˜e“on“ComputersŽ¡‘_7ªand‘êêCommunic‘ÿp¹ations¹,–¦fpage“303,“1994.ŽŽŸsç’ó|’19ŽŽŒ‹è? ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[FDG94]ŽŽ‘_7ªM–¸FlatebMÞo,›½AK“Datta,˜and“S“Ghosh.‘ØSelf-stabilization“in“distributed“systems.Ž¤ ™š‘_7ªIn›»€ÆR–ÿp¹e“adings–Ïin“Distribute‘ÿp¹d“Computing“Systems¹,–ê{c²!hapter˜2,“pages˜100{114.˜IEEEŽ¡‘_7ªComputer–¦fSoMÞcietš²!y“Press,“1994.‘ÚÀTL“Casa˜v‘ÿdDan˜t“and“M“Singal,“Editors.Ž©hè‘sç[FDS94]ŽŽ‘_7ªM–ÕFlatebMÞo,›^ðAK“Datta,˜and“AA“Scš²!hoMÞone.‘õSelf-stabilizing“m˜ulti-tok˜en“rings.Ž¡‘_7ªÆDistribute‘ÿp¹d‘êêComputing¹,–¦f8:133{142,“1994.Ž¦‘sç[F²!GLŸü¾¾+Ž‘x¹96]ŽŽ‘_7ªA–¦F‘ÿeek²!ete,›;vD“Gupta,˜V“Luc²!hangco,˜N“Lync²!h,˜and“A“Sh•²!v‘ÿdDartsman.‘>Ev“en“tually-Ž¡‘_7ªserializable–…data“services.‘$In“ÆPODC96›à½Pr–ÿp¹o“c“e“e“dings˜of˜the˜Fifte“enth˜A•¸\nnual˜A“CMŽ¡‘_7ªSymp›ÿp¹osium–êêon“Principles“of“Distribute˜d“Computing¹,–¦fpages“300{309,“1996.Ž¦‘sç[FJ01]ŽŽ‘_7ªFE–©6Fic²!h“and“C“Johnen.‘ã!A‘©5space“optimal,–©êdeterministic,“self-stabilizing,“leaderŽ¡‘_7ªelection–ýøalgorithm“for“unidirectional“rings.‘ßµIn“ÆDISC01–;zDistribute‘ÿp¹d“ComputingŽ¡‘_7ª15th–êêInternational“Symp‘ÿp¹osium,“Springer“LNCS:2180¹,–¦fpages“224{239,“2001.Ž¦‘sç[FMR‘ÿeT90]ŽŽ‘_7ªM–SÅFisc²!her,›¿S“Moran,˜S“Rudic²!h,˜and“G“T‘ÿeaubMÞenfeld.‘ ÚIThe“w•²!ak“eup‘SÅproblem.Ž¡‘_7ªIn‘‡ÆSTOC90›,Pr–ÿp¹o“c“e“e“dings˜of˜the˜22th˜A•¸\nnual˜A“CM‘+ÉSymp–ÿp¹osium˜on˜The“ory˜ofŽ¡‘_7ªComputing¹,–¦fpages“106{116,“1990.Ž¦‘sç[FNK99a]ŽŽ‘_7ªY–…õF‘ÿeukuok›ÿdDa,‘½ØH“Nak˜amš²!ura,‘½Øand“H“Kim˜ura.‘tõBiologically-inspired“adaptiv˜e“dy-Ž¡‘_7ªnamic–Ü-w²!alking“of“the“quadrupMÞed“on“irregular“terrain.‘‘In“ÆPr–ÿp¹o“c“e“e“dings–0ßof“the“1999Ž¡‘_7ªIEEE–êêInternational“Confer–ÿp¹enc“e–êêon“Contr›ÿp¹ol“Applic˜ations¹,–¦fpages“490{495,“1999.Ž¦‘sç[FNK99b]ŽŽ‘_7ªY–…õF‘ÿeukuok›ÿdDa,‘½ØH“Nak˜amš²!ura,‘½Øand“H“Kim˜ura.‘tõBiologically-inspired“adaptiv˜e“dy-Ž¡‘_7ªnamic–Ü-w²!alking“of“the“quadrupMÞed“on“irregular“terrain.‘‘In“ÆPr–ÿp¹o“c“e“e“dings–0ßof“the“1999Ž¡‘_7ªIEEE/RSJ‘äwInternational›äyConfer–ÿp¹enc“e˜on˜Intel‘Fligent˜R“ob“ots˜and˜Systems¹,‘ ÌpagesŽ¡‘_7ª1657{1662,‘¦f1999.Ž¦‘sç[FV97]ŽŽ‘_7ªO–ù Flauzac“and“V“Villain.‘À(An“implemen²!table“dynamic“automatic“self-stabilizingŽ¡‘_7ªprotoMÞcol.‘]In‘¸dÆI-SP‘ÿ)AN'97,‘ÿšThir›ÿp¹d–ûwInternational“Symp˜osium“on“Par˜al‘Flel“A¸\r˜chite˜c-Ž¡‘_7ªtur›ÿp¹es,‘W5A¸\lgorithms–Zand“Networks“Pr˜o˜c˜e˜e˜dings,‘W5IEEE‘Computer“So˜ciety“Pr˜ess¹,Ž¡‘_7ªpages–¦f91{97.“IEEE“Computer“SoMÞciet²!y“Press,“1997.Ž¦‘sç[GA02]ŽŽ‘_7ªS–Ú?Gustaš²!vsson“and“SF“Andler.‘p$Self-stabilization“and“ev˜en˜tual“consistency“inŽ¡‘_7ªreplicated–¬ real-time“databases.‘ëÐIn“ÆPr–ÿp¹o“c“e“e“dings–ð.of“the“First“A¸\CM‘ð-Workshop“onŽ¡‘_7ªSelf-He‘ÿp¹aling‘êêSystems¹,–¦fpages“105{107,“2002.Ž¦‘sç[Gac95]ŽŽ‘_7ªP–Ç3Gacs.‘7aAsyncš²!hronous“fault-toleran˜t“one-dimensional“cellular“automata.‘7aInŽ¡‘_7ªÆPr–ÿp¹o“c“e“e“dings–L$of“the“Se–ÿp¹c“ond–L$Workshop“on“Self-Stabilizing“Systems¹,‘†Spages‘&W6.1{Ž¡‘_7ª6.13,‘¦f1995.Ž¦‘sç[G‘ú†far99]ŽŽ‘_7ªF•²!C›ØRG‘ú†fartner.‘jhF‘ÿeundamen“tals˜of˜fault-toleran“t˜distributed˜computing˜in˜asyn-Ž¡‘_7ªc•²!hronous›¦fen“vironmen“ts.‘ÚÀÆA¸\CM–êêComputing“Surveys¹,˜31(1):1{26,˜1999.Ž¦‘sç[GBS00]ŽŽ‘_7ªSKS‘AÍGupta,–©+A›B7BouabMÞdallah,“and˜PK˜Srimani.‘ ¥øSelf-stabilizing˜protoMÞcol˜forŽ¡‘_7ªshortest–¥-path“tree“for“mš²!ulti-cast“routing“in“mobile“net˜w˜orks“(researc˜h“note).Ž¡‘_7ªIn‘ècÆEur–ÿp¹o-Par'00›$Par“al‘Flel˜Pr“o“c“essing,‘]2Pr“o“c“e“e“dings˜LNCS:1900¹,‘8âpages‘èc600{604,Ž¡‘_7ª2000.ŽŽŸsç’ó|’20ŽŽŒ‹ô} ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[GE90]ŽŽ‘_7ªMG–K~Gouda“and“M“Ev‘ÿdDangelist.‘Æ»Con•²!v“ergence/respMÞonse–K~tradeo s“in“concurren²!tŽ¤ ™š‘_7ªsystems.‘æ¡In‘s–ÆPr–ÿp¹o“c“e“e“dings–Цof“the“2nd“IEEE‘Ð^Symp›ÿp¹osium“on“Par˜al‘Flel“and“Distribute˜dŽ¡‘_7ªPr–ÿp¹o“c“essing¹,–¦fpages“188{192,“1990.Ž©™š‘sç[Gen00]ŽŽ‘_7ªC–¿æGenolini.‘! Optimal“k-stabilization:‘Ýthe“case“of“syncš²!hronous“m˜utual“exclu-Ž¡‘_7ªsion.‘ ‘In‘bíÆPDCS-00–˜\13th“International“Confer–ÿp¹enc“e–˜\on“Par›ÿp¹al‘Flel“and“Distribute˜dŽ¡‘_7ªComputing–êêSystems“Pr–ÿp¹o“c“e“e“dings¹,–¦fpages“371{376,“2000.Ž¦‘sç[GG96]ŽŽ‘_7ªS–ºGhosh“and“A“Gupta.‘øµAn“exercise“in“fault-con•²!tainmen“t:‘˜‡self-stabilizing‘ºleaderŽ¡‘_7ªelection.‘ÚÀÆInformation›êêPr–ÿp¹o“c“essing˜L“etters¹,–¦f59:281{288,“1996.Ž¦‘sç[GGHP96]ŽŽ‘_7ªS–}Ghosh,›lCA“Gupta,˜T“Herman,˜and“SV“P•²!emmara‘›»ju.‘ ÄF‘ÿeault-con“taining‘}self-Ž¡‘_7ªstabilizing–í~algorithms.‘®œIn“ÆPODC96›,RPr–ÿp¹o“c“e“e“dings˜of˜the˜Fifte“enth˜A•¸\nnual˜A“CMŽ¡‘_7ªSymp›ÿp¹osium–êêon“Principles“of“Distribute˜d“Computing¹,–¦fpages“45{54,“1996.Ž¦‘sç[GGP95a]ŽŽ‘_7ªS–`ÕGhosh,›n¿A“Gupta,˜and“MH“Karaata“SV‘`ÃP²!emmara‘›»ju.‘iZSelf-stabilizing“dynamicŽ¡‘_7ªprogramming–þbalgorithms“on“trees.‘àóIn“ÆPr–ÿp¹o“c“e“e“dings–;Üof“the“Se–ÿp¹c“ond–;ÜWorkshop“onŽ¡‘_7ªSelf-Stabilizing‘êêSystems¹,–¦fpages“11.1{11.15,“1995.Ž¦‘sç[GGP95b]ŽŽ‘_7ªS–hEGhosh,›˜¼A“Gupta,˜and“SV“P²!emmara‘›»ju.‘}A‘hself-stabilizing“algorithm“for“theŽ¡‘_7ªmaxim•²!um›® o“w˜problem.‘úBIn˜ÆPr–ÿp¹o“c“e“e“dings–l6of“the“IEEE‘l14th“A¸\nnual“InternationalŽ¡‘_7ªPho–ÿp¹enix›êêConfer“enc“e˜on˜Computers˜and˜Communic“ation¹,–¦fpages“8{14,“1995.Ž¦‘sç[GGP96]ŽŽ‘_7ªS–ÛGhosh,›v¸A“Gupta,˜and“SV“P•²!emmara‘›»ju.‘ -³A‘|fault-con“taining‘Ûself-stabilizingŽ¡‘_7ªalgorithm–3šfor“spanning“trees.‘‹ÆJournal–lÒof“Computing“and“Information¹,‘Vç2:322{Ž¡‘_7ª338,‘¦f1996.Ž¦‘sç[GGP97]ŽŽ‘_7ªS–hEGhosh,›˜¼A“Gupta,˜and“SV“P²!emmara‘›»ju.‘}A‘hself-stabilizing“algorithm“for“theŽ¡‘_7ªmaxim•²!um›¦f o“w˜problem.‘ÚÀÆDistribute‘ÿp¹d‘êêComputing¹,˜10(4):167{180,˜1997.Ž¦‘sç[GH90]ŽŽ‘_7ªMG–.Gouda“and“T“Herman.›î Stabilizing“unison.˜ÆInformation›ePPr–ÿp¹o“c“essing˜L“etters¹,Ž¡‘_7ª35:171{175,‘¦f1990.Ž¦‘sç[GH91]ŽŽ‘_7ªMG–ŽrGouda“and“T“Herman.›ŽBAdaptiv²!e“programming.˜ÆIEEE‘À/T‘ÿ)r‘ÿp¹ansactions‘ÀfonŽ¡‘_7ªSoftwar–ÿp¹e‘êêEngine“ering¹,–¦f17:911{921,“1991.Ž¦‘sç[GH96]ŽŽ‘_7ªMG–óKGouda“and“FF“Haddix.›¿åThe“stabilizing“tok²!en“ring“in“three“bits.˜ÆJournalŽ¡‘_7ªof–êêPar›ÿp¹al‘Flel“and“Distribute˜d“Computing¹,–¦f35(1):43{48,“1996.Ž¦‘sç[GH97]ŽŽ‘_7ªMG–åêGouda“and“F“Haddix.›˜The“linear“alternator.˜In“ÆPr–ÿp¹o“c“e“e“dings–%Yof“the“Thir‘ÿp¹dŽ¡‘_7ªWorkshop–¶¦on“Self-Stabilizing“Systems¹,‘xópages–m—31{47.“Carleton“Univ•²!ersit“y‘m—Press,Ž¡‘_7ª1997.Ž¦‘sç[GH99a]ŽŽ‘_7ªS–ŠþGhosh“and“X“He.›ƒöScalable“self-stabilization.˜In“ÆPr–ÿp¹o“c“e“e“dings–½8of“the“F‘ÿ)ourthŽ¡‘_7ªWorkshop–Ÿon“Self-Stabilizing“Systems“(publishe›ÿp¹d“in“asso˜ciation“with“ICDCS99Ž¡‘_7ªThe–ú119th“IEEE‘ú-International“Confer–ÿp¹enc“e–ú1on“Distribute‘ÿp¹d“Computing“Systems)¹,Ž¡‘_7ªpages–¦f18{24.“IEEE“Computer“SoMÞciet²!y‘ÿe,“1999.ŽŽŸsç’ó|’21ŽŽŒ‹‰ ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[GH99b]ŽŽ‘_7ªMG–F%Gouda“and“F“Haddix.›=ÙThe“alternator.˜In“ÆPr–ÿp¹o“c“e“e“dings–’\of“the“F‘ÿ)ourth“Work-Ž¤ ™š‘_7ªshop–p”on“Self-Stabilizing“Systems“(publishe›ÿp¹d“in“asso˜ciation“with“ICDCS99“TheŽ¡‘_7ª19th–IEEE‘ÕInternational“Confer–ÿp¹enc“e–on“Distribute‘ÿp¹d“Computing“Systems)¹,‘àCpagesŽ¡‘_7ª48{53.–¦fIEEE“Computer“SoMÞciet²!y‘ÿe,“1999.Ž©™š‘sç[GH00]ŽŽ‘_7ªS–Ð4Ghosh“and“X“He.‘}™F‘ÿeault-conš²!taining“self-stabilization“using“priorit˜y“sc˜heduling.Ž¡‘_7ªÆInformation›êêPr–ÿp¹o“c“essing˜L“etters¹,–¦f73(3-4):145{151,“2000.Ž¦‘sç[GH02]ŽŽ‘_7ªS–‰(Ghosh“and“X“He.›~}Scalable“self-stabilization.˜ÆJournal–»‡of“Par‘ÿp¹al‘Flel“and“Dis-Ž¡‘_7ªtribute‘ÿp¹d‘êêComputing¹,–¦f62(5):945{960,“2002.Ž¦‘sç[GHA01]ŽŽ‘_7ªMG–œ¸Gouda,›ÑÛCT“Huang,˜and“A“Arora.‘)­On“the“securitš²!y“and“vulnerabilit˜y“of“Ping.Ž¡‘_7ªIn‘ß~ÆWSS01›pPr–ÿp¹o“c“e“e“dings˜of˜the˜Fifth˜International˜Workshop˜on˜Self-StabilizingŽ¡‘_7ªSystems,–êêSpringer“LNCS:2194¹,–¦fpages“124{135,“2001.Ž¦‘sç[Gho91a]ŽŽ‘_7ªS–SGhosh.›ñˆBinary“self-stabilization“in“distributed“systems.˜ÆInformation‘gIPr–ÿp¹o“c“ess-Ž¡‘_7ªing‘êêL‘ÿp¹etters¹,–¦f40:153{159,“1991.Ž¦‘sç[Gho91b]ŽŽ‘_7ªS–0ŠGhosh.› qLStabilizing“Petri“nets.˜In“Æ3r–ÿp¹d›U†IEEE‘U(Symp“osium˜on˜Par“al‘Flel˜andŽ¡‘_7ªDistribute‘ÿp¹d‘êêSystems¹,–¦fpages“352{356,“1991.Ž¦‘sç[Gho93]ŽŽ‘_7ªS–.Ghosh.› :•An“alternativ²!e“solution“to“a“problem“on“self-stabilization.˜ÆA¸\CMŽ¡‘_7ªT‘ÿ)r›ÿp¹ansactions–êêon“Pr˜o˜gr˜amming“L˜anguages“and“Systems¹,–¦f15(4):735{742,“1993.Ž¦‘sç[Gho00]ŽŽ‘_7ªS–~®Ghosh.‘šAgen²!ts,›† distributed“algorithms,˜and“stabilization.‘šIn“ÆComputing‘Æ`andŽ¡‘_7ªCombinatorics–êê(COCOON'2000),“Springer“LNCS:1858¹,–¦fpages“242{251,“2000.Ž¦‘sç[Gho01]ŽŽ‘_7ªS›Ò±Ghosh.‘Y¡Co•MÞop“erating˜mobile˜agen²!ts˜and˜stabilization.‘Y¡In˜ÆWSS01‘ÿ/Pr–ÿp¹o“c“e“e“d-Ž¡‘_7ªings–àbof“the“Fifth“International“Workshop“on“Self-Stabilizing“Systems,‘â}SpringerŽ¡‘_7ªLNCS:2194¹,–¦fpages“1{18,“2001.Ž¦‘sç[GHR90]ŽŽ‘_7ªMG–~Gouda,›³ïRR“Ho•²!w“ell,˜and–~LE“Rosier.‘]TThe“instabilit²!y“of“self-stabilization.Ž¡‘_7ªÆA–ÿp¹cta‘êêInformatic“a¹,–¦f27:697{724,“1990.Ž¦‘sç[GJ01]ŽŽ‘_7ªM–f=Gradinariu“and“C“Johnen.‘ 4Self-stabilizing“neigh²!b•MÞorho“o“d–f=unique“nam-Ž¡‘_7ªing–àiunder“unfair“sc²!heduler.‘‚ƒIn“ÆEur–ÿp¹o-Par'01› ÎPar“al‘Flel˜Pr“o“c“essing,‘TPr“o“c“e“e“dingsŽ¡‘_7ªLNCS:2150¹,–¦fpages“458{465,“2001.Ž¦‘sç[GK93]ŽŽ‘_7ªS–- Ghosh“and“MH“Karaata.‘ g A‘,¼self-stabilizing“algorithm“for“coloring“planarŽ¡‘_7ªgraphs.‘ÚÀÆDistribute‘ÿp¹d‘êêComputing¹,–¦f7:55{59,“1993.Ž¦‘sç[GKL78]ŽŽ‘_7ªP–gGacs,›—ÛGL“Kurdiumo²!v,˜and“L“Levin.‘bOne-dimensional“uniform“arra²!ys“thatŽ¡‘_7ªw²!ash–ã out“ nite“islands.‘Š\ÆPr›ÿp¹oblems–:of“Information“T‘ÿ)r˜ansmission¹,‘2414:223{226,Ž¡‘_7ª1978.Ž¦‘sç[GM91]ŽŽ‘_7ªMG–;UGouda“and“N“Multari.›,:Stabilizing“comm²!unication“protoMÞcols.˜ÆIEEE‘ˆQT‘ÿ)r‘ÿp¹ans-Ž¡‘_7ªactions–êêon“Computers¹,–¦f40(4):448{458,“1991.ŽŽŸsç’ó|’22ŽŽŒ‹W ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[GoMÞd02]ŽŽ‘_7ªE–YÛGoMÞdard.›ñ‰A‘Y­self-stabilizing“en²!umeration“algorithm.˜ÆInformation‘Pr–ÿp¹o“c“essingŽ¤ ™š‘_7ªL‘ÿp¹etters¹,–¦f82(6):299{305,“2002.Ž©™š‘sç[Gol82]ŽŽ‘_7ªE–šÈGoles.‘³Fixed“pšMÞoin²!t“b˜eha²!vior“of“threshold“functions“on“a“ nite“set.‘³ÆSIAMŽ¡‘_7ªJournal–êêon“A¸\lgebr›ÿp¹aic“and“Discr˜ete“Metho˜ds¹,–¦f3:529{531,“1982.Ž¦‘sç[Gou94]ŽŽ‘_7ªMG–ÝÐGouda.›âStabilizing“observ²!ers.˜ÆInformation›åPr–ÿp¹o“c“essing˜L“etters¹,‘ëª52:99{103,Ž¡‘_7ª1994.Ž¦‘sç[Gou95]ŽŽ‘_7ªMG–2ÖGouda.›mêThe“triumph“and“tribulation“of“system“stabilization.˜InŽ¡‘_7ªÆWD•¸\A“G95–Ê:Distribute›ÿp¹d“A¸\lgorithms“9th“International“Workshop“Pr˜o˜c˜e˜e˜dings,Ž¡‘_7ªSpringer‘êêLNCS:972¹,–¦fpages“1{18,“1995.Ž¦‘sç[Gou01]ŽŽ‘_7ªMG–t¼Gouda.›è€The“theory“of“w²!eak“stabilization.˜In“ÆWSS01›Ñ´Pr–ÿp¹o“c“e“e“dings˜of˜the˜FifthŽ¡‘_7ªInternational–ósWorkshop“on“Self-Stabilizing“Systems,‘µ•Springer“LNCS:2194¹,Ž¡‘_7ªpages–¦f114{123,“2001.Ž¦‘sç[GP93]ŽŽ‘_7ªAS–ú)Gopal“and“KJ“P²!erry‘ÿe.›Ï?Unifying“self-stabilization“and“fault-tolerance.˜InŽ¡‘_7ªÆPODC93›·Pr–ÿp¹o“c“e“e“dings˜of˜the˜Twelfth˜A•¸\nnual˜A“CM‘ŸSymp‘ÿp¹osium˜on˜Principles˜ofŽ¡‘_7ªDistribute‘ÿp¹d‘êêComputing¹,–¦fpages“195{206,“1993.Ž¦‘sç[GP97]ŽŽ‘_7ªS–î[Ghosh“and“SV“Pš²!emmara‘›»ju.‘®ÀT‘ÿeradeo s“in“fault-con˜taining“self-stabilization.‘®ÀInŽ¡‘_7ªÆPr–ÿp¹o“c“e“e“dings–™oof“the“Thir‘ÿp¹d“Workshop“on“Self-Stabilizing“Systems¹,‘_Œpages‘MÕ157{169.Ž¡‘_7ªCarleton›¦fUniv•²!ersit“y˜Press,˜1997.Ž¦‘sç[GP99]ŽŽ‘_7ªFš²!C–|¥G‘ú†fartner“and“H“P˜agnia.‘ TSelf-stabilizing“load“distribution“for“replicatedŽ¡‘_7ªserv²!ers–ó%on“a“pMÞer-access“basis.‘¿uIn“ÆPr–ÿp¹o“c“e“e“dings–1…of“the“F‘ÿ)ourth“Workshop“on“Self-Ž¡‘_7ªStabilizing–AÈSystems“(publishe›ÿp¹d“in“asso˜ciation“with“ICDCS99“The“19th“IEEEŽ¡‘_7ªInternational›ISConfer–ÿp¹enc“e˜on˜Distribute“d˜Computing˜Systems)¹,‘&¬pages‘ 102{109.Ž¡‘_7ªIEEE–¦fComputer“SoMÞciet²!y‘ÿe,“1999.Ž¦‘sç[GP01]ŽŽ‘_7ªFš²!C–ɦG‘ú†fartner“and“S“Pleisc˜h.‘>®(im)pMÞossibilities“of“predicate“detection“in“crash-Ž¡‘_7ªa ected–AKsystems.‘¨WIn“ÆWSS01›ykPr–ÿp¹o“c“e“e“dings˜of˜the˜Fifth˜International˜WorkshopŽ¡‘_7ªon–êêSelf-Stabilizing“Systems,“Springer“LNCS:2194¹,–¦fpages“98{113,“2001.Ž¦‘sç[GS94]ŽŽ‘_7ªMG–y„Gouda“and“M“Scš²!hneider.‘OáStabilization“of“maxim˜um“ o˜w“trees.‘OáIn“ÆPr‘ÿp¹o-Ž¡‘_7ªc–ÿp¹e“e“dings–ÌXof“the“3r›ÿp¹d“A¸\nnual“Joint“Confer˜enc˜e“on“Information“Scienc˜es¹,‘Ø°pagesŽ¡‘_7ª178{181,‘¦f1994.Ž¦‘sç[GS95]ŽŽ‘_7ªMG–eGouda“and“M“Sc•²!hneider.‘ûMaxim“um›e o“w˜routing.‘ûIn˜ÆPr–ÿp¹o“c“e“e“dings–šWof“theŽ¡‘_7ªSe–ÿp¹c“ond–êêWorkshop“on“Self-Stabilizing“Systems¹,–¦fpages“2.1{2.13,“1995.Ž¦‘sç[GS99a]ŽŽ‘_7ªG– An²!tonoiu“G›¹and“PK“Srimani.‘û´A˜self-stabilizing“distributed“algorithm“toŽ¡‘_7ª nd–mHthe“median“of“a“tree“graph.‘+lÆJournal–¡âof“Computer“and“System“Scienc‘ÿp¹es¹,Ž¡‘_7ª58:215{221,‘¦f1999.ŽŽŸsç’ó|’23ŽŽŒ‹e ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[GS99b]ŽŽ‘_7ªMG–%·Gouda“and“M“Sc²!hneider.›V'Stabilization“of“maximal“metric“trees.˜In“ÆPr‘ÿp¹o-Ž¤ ™š‘_7ªc–ÿp¹e“e“dings–KÕof“the“F‘ÿ)ourth“Workshop“on“Self-Stabilizing“Systems“(publishe‘ÿp¹d“in“asso-Ž¡‘_7ªciation–{with“ICDCS99“The“19th“IEEE‘zòInternational“Confer–ÿp¹enc“e–{on“Distribute‘ÿp¹dŽ¡‘_7ªComputing‘êêSystems)¹,–¦fpages“10{17.“IEEE“Computer“SoMÞciet²!y‘ÿe,“1999.Ž©™š‘sç[GS99c]ŽŽ‘_7ªSKS‘Š›Gupta–Š£and“PK“Srimani.‘­Mobilitš²!y“toleran˜t“main˜tenance“of“m˜ulti-cast“treeŽ¡‘_7ªin–!“mobile“mš²!ulti-hop“radio“net˜w˜orks.‘IÑIn“ÆPr–ÿp¹o“c“e“e“dings–\In‘ÒpÆICDCS01–'éThe“21st“IEEE‘'¸International“Confer–ÿp¹enc“e–'éon“Distribute‘ÿp¹dŽ¡‘_7ªComputing‘êêSystems¹,–¦fpages“83{90,“2001.Ž¦‘sç[GT02]ŽŽ‘_7ªC–Ü|G²"‘úÔDenolini“and“S“Tixeuil.‘{íA‘Ünlo•²!w“er–Ü|bMÞound“on“dynamic“k-stabilization“in“asyn-Ž¡‘_7ªc²!hronous–_*systems.‘f¢In“ÆSRDS‘©P2002–©a21st“Symp›ÿp¹osium“on“R˜eliable“Distribute˜d“Sys-Ž¡‘_7ªtems,–êêIEEE“Computer“So›ÿp¹ciety“Pr˜ess¹,–¦fpages“211{221,“2002.Ž¦‘sç[Had91]ŽŽ‘_7ªFF–$…Haddix.› MzStabilization“of“bMÞounded“tok²!en“rings.˜T‘ÿeec²!hnical“RepMÞort“ARL-Ž¡‘_7ªTR-91-31,›ÊvApplied–Ã@Researc²!h“LabMÞoratories,˜The“Univ•²!ersit“y–Ã@of“T‘ÿeexas“at“Austin,Ž¡‘_7ª1991.Ž¦‘sç[Had00]ŽŽ‘_7ªR–=îHadid.‘žQSpace“and“time“ecien²!t“self-stabilizing“and“l-exclusion“in“tree“net-Ž¡‘_7ªw²!orks.‘ÑtIn‘ ²ÆIPDPS'2000›å«Pr–ÿp¹o“c“e“e“dings˜of˜the˜14th˜International˜Par“al‘Flel˜and˜Dis-Ž¡‘_7ªtribute–ÿp¹d›êêPr“o“c“essing˜Symp“osium¹,–¦fpages“529{534,“2000.Ž¦‘sç[Had02]ŽŽ‘_7ªR–¹£Hadid.‘Space“and“time“ecienš²!t“self-stabilizing“ó  b> ó3 cmmi10À`¹-exclusion“in“tree“net˜w˜orks.Ž¡‘_7ªÆJournal–êêof“Par›ÿp¹al‘Flel“and“Distribute˜d“Computing¹,–¦f62(5):843{864,“2002.Ž¦‘sç[HC92]ŽŽ‘_7ªST–C9Huang“and“NS“Chen.‘9A‘C self-stabilizing“algorithm“for“constructing“breadth-Ž¡‘_7ª rst‘¦ftrees.‘ÚÀÆInformation›êêPr–ÿp¹o“c“essing˜L“etters¹,–¦f41:109{117,“1992.Ž¦‘sç[HC93]ŽŽ‘_7ªST–ûHuang“and“NS“Chen.‘ú’Self-stabilizing“depth- rst“tok²!en“circulation“on“net-Ž¡‘_7ªw²!orks.‘ÚÀÆDistribute‘ÿp¹d‘êêComputing¹,–¦f7(1):61{66,“1993.Ž¦‘sç[HC01]ŽŽ‘_7ªST–ÓàHuang“and“BW“Chen.›bFOptimal“1-fair“alternators.˜ÆInformation‘ÁPr–ÿp¹o“c“essingŽ¡‘_7ªL‘ÿp¹etters¹,–¦f80(3):159{163,“2001.Ž¦‘sç[Her90]ŽŽ‘_7ªT–X¼Herman.› éProbabilistic“self-stabilization.˜ÆInformation›z€Pr–ÿp¹o“c“essing˜L“etters¹,Ž¡‘_7ª35:63{67,‘¦f1990.ŽŽŸsç’ó|’24ŽŽŒ‹'0 ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[Her92a]ŽŽ‘_7ªT–ýHerman.›YSelf-stabilization:‘· randomness“to“reduce“space.˜ÆDistribute‘ÿp¹d‘NÑCom-Ž¤ ™š‘_7ªputing¹,–¦f6:95{98,“1992.Ž©~P‘sç[Her92b]ŽŽ‘_7ªA–VHerzbMÞerg.‘ Ü-Connection-based“commš²!unication“in“dynamic“net˜w˜orks.‘ Ü-InŽ¡‘_7ªÆPODC92›]èPr–ÿp¹o“c“e“e“dings˜of˜the˜Eleventh˜A•¸\nnual˜A“CM‘]ÊSymp‘ÿp¹osium˜on˜PrinciplesŽ¡‘_7ªof–êêDistribute‘ÿp¹d“Computing¹,–¦fpages“13{24,“1992.Ž¦‘sç[Her98]ŽŽ‘_7ªT–˜•Herman.›Ä:A‘˜‘stabilizing“repair“timer.˜In“ÆDISC98–Þ4Distribute‘ÿp¹d“Computing“12thŽ¡‘_7ªInternational–êêSymp‘ÿp¹osium,“Springer“LNCS:1499¹,–¦fpages“186{200,“1998.Ž¦‘sç[Her00a]ŽŽ‘_7ªT–-±Herman.‘ hÏPhase“cloMÞcš²!ks“for“transien˜t“fault“repair.‘ hÏÆIEEE‘R‰T‘ÿ)r‘ÿp¹ansactions‘RæonŽ¡‘_7ªPar›ÿp¹al‘Flel–êêand“Distribute˜d“Systems¹,–¦f11(10):1048{1057,“2000.Ž¦‘sç[Her00b]ŽŽ‘_7ªT–á„Herman.›™ÑSupMÞerstabilizing“m²!utual“exclusion.˜ÆDistribute‘ÿp¹d‘5ÈComputing¹,‘ä13(1):1{Ž¡‘_7ª17,‘¦f2000.Ž¦‘sç[HG95]ŽŽ‘_7ªT–T1Herman“and“S“Ghosh.› Û‰Stabilizing“phase-cloMÞc²!ks.˜ÆInformation‘vRPr–ÿp¹o“c“essingŽ¡‘_7ªL‘ÿp¹etters¹,–¦f54:259{265,“1995.Ž¦‘sç[HH92a]ŽŽ‘_7ªSC–EHsu“and“ST“Huang.‘ûmAnalyzing“self-stabilization“with“ nite-state“mac²!hineŽ¡‘_7ªmoMÞdel.‘ 4}In‘r ÆPr–ÿp¹o“c“e“e“dings–‘Èof“the“12th“International“Confer–ÿp¹enc“e–‘Èon“Distribute‘ÿp¹dŽ¡‘_7ªComputing‘êêSystems¹,–¦fpages“624{631,“1992.Ž¦‘sç[HH92b]ŽŽ‘_7ªSC–Õ³Hsu“and“ST“Huang.‘b—A‘Õeself-stabilizing“algorithm“for“maximal“matc²!hing.Ž¡‘_7ªÆInformation›êêPr–ÿp¹o“c“essing˜L“etters¹,–¦f43:77{81,“1992.Ž¦‘sç[HJS01]ŽŽ‘_7ªST–ГHedetniemi,›ÛDP“Jacobs,˜and“PK“Srimani.‘XoMaximal“matc²!hing“stabilizes“inŽ¡‘_7ªtime‘¦fo(m).‘ÚÀÆInformation›êêPr–ÿp¹o“c“essing˜L“etters¹,–¦f80(5):221{223,“2001.Ž¦‘sç[HK85]ŽŽ‘_7ªR‘þȈW–µ Haddad“and“DE“Kn²!uth.‘CA‘´Äprogramming“and“problem-solving“seminar.Ž¡‘_7ªT›ÿeec²!hnical–¦fRepMÞort“ST˜AN-CS-85-1055,“Stanford,“1985.Ž¦‘sç[HL98]ŽŽ‘_7ªST–ËFHuang“and“TJ“Liu.‘C†F‘ÿeour-state“stabilizing“phase“cloMÞc²!k“for“unidirectionalŽ¡‘_7ªrings–¦fof“oMÞdd“size.‘ÚÀÆInformation›êêPr–ÿp¹o“c“essing˜L“etters¹,–¦f65(6):325{329,“1998.Ž¦‘sç[HL99a]ŽŽ‘_7ªST–ʉHuang“and“TJ“Liu.‘FpPhase“syncš²!hronization“on“async˜hronous“uniform“ringsŽ¡‘_7ªwith–áaoMÞdd“size.‘Š„In“ÆPr–ÿp¹o“c“e“e“dings–!-of“the“F‘ÿ)ourth“Workshop“on“Self-Stabilizing“Sys-Ž¡‘_7ªtems–„Ê(publishe›ÿp¹d“in“asso˜ciation“with“ICDCS99“The“19th“IEEE‘„`InternationalŽ¡‘_7ªConfer–ÿp¹enc“e–»on“Distribute‘ÿp¹d“Computing“Systems)¹,‘|Ðpages–rk54{61.“IEEE‘r]ComputerŽ¡‘_7ªSoMÞciet²!y‘ÿe,‘¦f1999.Ž¦‘sç[HL99b]ŽŽ‘_7ªST–tÔHuang“and“TJ“Liu.‘AéSelf-stabilizing“2(m)-cloMÞc²!k“for“unidirectional“rings“ofŽ¡‘_7ªoMÞdd–¦fsize.‘ÚÀÆDistribute‘ÿp¹d‘êêComputing¹,“12:41{46,“1999.Ž¦‘sç[HL99c]ŽŽ‘_7ªST–[$Huang“and“TJ“Liu.‘`Self-stabilizing“2m-clošMÞc²!k“for“unidirectional“rings“of“o˜ddŽ¡‘_7ªsize.‘ÚÀÆDistribute‘ÿp¹d‘êêComputing¹,–¦f12(1):41{46,“1999.Ž¦‘sç[HL01a]ŽŽ‘_7ªL–ÖÍHigham“and“Z“Liang.‘ˆZSelf-stabilizing“minim²!um“spanning“tree“construction“onŽ¡‘_7ªmessage-passing–â®systems.‘›·In“ÆDISC01–6ÚDistribute‘ÿp¹d“Computing“15th“InternationalŽ¡‘_7ªSymp‘ÿp¹osium,–êêSpringer“LNCS:2180¹,–¦fpages“194{208,“2001.ŽŽŸsç’ó|’25ŽŽŒ‹4n ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[HL01b]ŽŽ‘_7ªST–@Huang“and“TJ“Liu.‘ šQPhase“syncš²!hronization“on“async˜hronous“uniformŽ¤ ™š‘_7ªrings– àwith“oMÞdd“size.‘G»ÆIEEE‘[zT‘ÿ)r›ÿp¹ansactions–[—on“Par˜al‘Flel“and“Distribute˜d“Systems¹,Ž¡‘_7ª12(6):638{652,‘¦f2001.Ž©™š‘sç[HL02]ŽŽ‘_7ªTC–Q±Huang“and“JC“Lin.‘P¬A‘Qœself-stabilizing“algorithm“for“the“shortest“path“prob-Ž¡‘_7ªlem–eain“a“distributed“system.‘àÆComputers–šand“Mathematics“with“Applic‘ÿp¹ations¹,Ž¡‘_7ª43(1-2):103{109,‘¦f2002.Ž¦‘sç[HLC00]ŽŽ‘_7ªTC–CÁHuang,›kJC“Lin,˜and“HJ“Chen.‘¯¬A‘C™self-stabilizing“algorithm“whic²!h“ nds“aŽ¡‘_7ª2-cen²!ter–œof“a“tree.‘öãÆComputers–jOand“Mathematics“with“Applic‘ÿp¹ations¹,‘6’40(4-5):607{Ž¡‘_7ª624,‘¦f2000.Ž¦‘sç[HM98]ŽŽ‘_7ªL–ç"Higham“and“S“Myš²!ers.‘›©Self-stabilizing“tok˜en“circulation“on“anon˜ymous“mes-Ž¡‘_7ªsage–§}passing.‘ØâIn“Æ2nd–×pInternational“Confer–ÿp¹enc“e–×pOn“Principles“Of“DIstribute‘ÿp¹dŽ¡‘_7ªSystems,‘êêOPODIS'98¹,–¦fpages“115{128,“1998.Ž¦‘sç[HM01a]ŽŽ‘_7ªT–àHerman“and“T“Masuza•²!w“a.‘{Self-stabilizing›àagen“t˜tra“v“ersal.‘{In˜ÆWSS01‘èÕPr–ÿp¹o“c“e“e“d-Ž¡‘_7ªings–àbof“the“Fifth“International“Workshop“on“Self-Stabilizing“Systems,‘â}SpringerŽ¡‘_7ªLNCS:2194¹,–¦fpages“152{166,“2001.Ž¦‘sç[HM01b]ŽŽ‘_7ªT–xZHerman“and“T“Masuza•²!w“a.›LkStabilizing–xZreplicated“searc²!h“trees.˜In“ÆDISC01Ž¡‘_7ªDistribute›ÿp¹d–/4Computing“15th“International“Symp˜osium,‘€FSpringer“LNCS:2180¹,Ž¡‘_7ªpages–¦f315{329,“2001.Ž¦‘sç[HNM99]ŽŽ‘_7ªRR›äëHo•²!w“ell,‘4ŒM˜Nesterenk“o,‘4Œand˜M˜Mizuno.‘ñFinite-state˜self-stabilizing˜pro-Ž¡‘_7ªtoMÞcols–`in“message-passing“systems.‘ Optimal“snap-stabilizing“PIF‘IinŽ¡‘_7ªun-orien²!ted–¨[trees.‘<¥In“Æ5th–2International“Confer–ÿp¹enc“e–2On“Principles“Of“DIstribute‘ÿp¹dŽ¡‘_7ªSystems,‘êêOPODIS'2001¹,–¦fpages“71{90,“2001.Ž¦‘sç[PD95]ŽŽ‘_7ªG–yòPink‘ÿdDas“and“R“Dec•²!h“ter.›ðþImpro“ving–yòconnectionist“energy“minimization.˜ÆJournalŽ¡‘_7ªof–êêA¸\rti cial“Intel‘Fligenc›ÿp¹e“R˜ese˜ar˜ch¹,–¦f3:223{248,“1995.Ž¦‘sç[PD96]ŽŽ‘_7ªLL–ÓKPš²!eterson“and“BS“Da˜vie.›‚£ÆComputer–(³Networks:‘¨ZA‘(Systems“Appr–ÿp¹o“ach¹.˜MorganŽ¡‘_7ªKaufmann–¦fPublishers,“1996.Ž¦‘sç[P²!en93]ŽŽ‘_7ªW–*Pš²!eng.‘àOn“Petri“nets“and“self-stabilization“of“comm˜unication“protoMÞcols.‘àInŽ¡‘_7ªÆPr–ÿp¹o“c“e“e“dings–Xof“the“International“Confer–ÿp¹enc“e–Xon“Network“Pr–ÿp¹oto“c“ols¹,‘Ípages‘ÅM166{Ž¡‘_7ª174,‘¦f1993.ŽŽŸsç’ó|’35ŽŽŒ‹$·< ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[P²!et97]ŽŽ‘_7ªF–=Pš²!etit.‘?àHighly“space-ecien˜t“self-stabilizing“depth- rst“tok˜en“circulation“forŽ¤ ™š‘_7ªtrees.‘ æŒIn‘²ÆInternational›ÉConfer–ÿp¹enc“e˜On˜Principles˜Of˜DIstribute“d˜Systems,Ž¡‘_7ªOPODIS'97¹,–¦fpages“221{235,“1997.Ž©™š‘sç[P²!et01]ŽŽ‘_7ªF–ã—Pš²!etit.‘‘F‘ÿeast“self-stabilizing“depth- rst“tok˜en“circulation.‘‘In“ÆWSS01‘#6Pr–ÿp¹o“c“e“e“d-Ž¡‘_7ªings–àbof“the“Fifth“International“Workshop“on“Self-Stabilizing“Systems,‘â}SpringerŽ¡‘_7ªLNCS:2194¹,–¦fpages“200{215,“2001.Ž¦‘sç[PM96]ŽŽ‘_7ªW––»Pš²!eng“and“K“Makki.‘Á6P˜etri“nets“and“self-stabilization“of“comm˜unication“pro-Ž¡‘_7ªtoMÞcols.‘ÚÀÆInformatic‘ÿp¹a¹,–¦f20:113{123,“1996.Ž¦‘sç[Pra95]ŽŽ‘_7ªW›`Praset•²!y“a.‘ ùÕMec“hanically˜suppMÞorted˜design˜of˜self-stabilizing˜algorithmsŽ¡‘_7ª(Ph.D.–Y¿thesis).‘ñ5T‘ÿeecš²!hnical“RepMÞort“ISBN‘Y‘90-939-1061-0,‘†”Univ˜ersit˜y“of“Utrec˜h˜t,Ž¡‘_7ª1995.Ž¦‘sç[Pra97]ŽŽ‘_7ªISWB‘&²Praset•²!y“a.‘YuMec“hanically›&Óv“eri ed˜self-stabilizing˜hierarc“hical˜algorithms.Ž¡‘_7ªIn‘ñHÆT–ÿ)A¸\CAS97›/ÎT“o‘ÿp¹ols˜and˜A•¸\lgorithms˜for˜the˜Construction˜and˜A“nalysis˜of˜Sys-Ž¡‘_7ªtems,–êêSpringer“LNCS:1217¹,–¦fpages“399{415,“1997.Ž¦‘sç[PT94]ŽŽ‘_7ªM›ïmP•²!apatrian“ta lou˜and˜P˜Tsigas.‘´`Self-stabilizing˜w“ait-free˜cloMÞc“k˜sync“hroniza-Ž¡‘_7ªtion.‘­HIn‘í ÆPr–ÿp¹o“c“e“e“dings–+éof“the“4th“Sc›ÿp¹andinavian“Workshop“on“A¸\lgorithm“The˜ory,Ž¡‘_7ªSpringer‘êêLNCS:824¹,–¦fpages“267{277,“1994.Ž¦‘sç[PT97]ŽŽ‘_7ªM›.FP•²!apatrian“ta lou˜and˜P˜Tsigas.‘o©On˜self-stabilizing˜w“ait-free˜cloMÞc“k˜sync“hro-Ž¡‘_7ªnization.‘ÚÀÆPar–ÿp¹al‘Flel›êêPr“o“c“essing˜L“etters¹,–¦f7(3):321{328,“1997.Ž¦‘sç[PV97a]ŽŽ‘_7ªF–ä‰Pš²!etit“and“V“Villain.‘“êColor“optimal“self-stabilizing“depth- rst“tok˜en“circula-Ž¡‘_7ªtion.‘¯In‘xYÆI-SP‘ÿ)AN'97,‘ÉThir›ÿp¹d–ÀŒInternational“Symp˜osium“on“Par˜al‘Flel“A¸\r˜chite˜ctur˜es,Ž¡‘_7ªA¸\lgorithms–Qand“Networks“Pr–ÿp¹o“c“e“e“dings,‘dêIEEE‘Computer›QSo“ciety˜Pr“ess¹,‘AFpagesŽ¡‘_7ª317{323.–¦fIEEE“Computer“SoMÞciet²!y“Press,“1997.Ž¦‘sç[PV97b]ŽŽ‘_7ªF–~+Pš²!etit“and“V“Villain.‘÷àColor“optimal“self-stabilizing“depth- rst“tok˜en“circulationŽ¡‘_7ªprotoMÞcol–Àfor“async²!hronous“message-passing.‘ -bIn“ÆPDCS-97–@Ž10th“InternationalŽ¡‘_7ªConfer–ÿp¹enc“e–µøon“Par›ÿp¹al‘Flel“and“Distribute˜d“Computing“Systems“Pr˜o˜c˜e˜e˜dings¹,‘x\pagesŽ¡‘_7ª227{233.–¦fInš²!ternational“SoMÞciet˜y“for“Computers“and“Their“Applications,“1997.Ž¦‘sç[PV97c]ŽŽ‘_7ªF–f‹Pš²!etit“and“V“Villain.‘YA‘fZspace-ecien˜t“and“self-stabilizing“depth- rst“tok˜enŽ¡‘_7ªcirculation–ïTprotoMÞcol“for“async²!hronous“message-passing“systems.‘°UIn“ÆEur‘ÿp¹o-Par'97Ž¡‘_7ªPar–ÿp¹al‘Flel››ŒPr“o“c“essing,‘Ç´Pr“o“c“e“e“dings˜LNCS:1300¹,‘–dpages–fd476{479.“Springer-V‘ÿeerlag,Ž¡‘_7ª1997.Ž¦‘sç[PV99]ŽŽ‘_7ªF– PPš²!etit“and“V“Villain.‘ÀTime“and“space“optimalit˜y“of“distributed“depth- rstŽ¡‘_7ªo–Ý tok²!en“circulation“algorithms.‘}•In“ÆPr–ÿp¹o“c“e“e“dings–/of“DIMA¸\CS‘"Workshop“on“Dis-Ž¡‘_7ªtribute›ÿp¹d–êêData“and“Structur˜es¹,–¦fpages“91{106.“Carleton“Univ•²!ersit“y–¦fPress,“1999.Ž¦‘sç[PV00a]ŽŽ‘_7ªF–Í3Pš²!etit“and“V“Villain.‘x´Optimalit˜y“and“self-stabilization“in“roMÞoted“tree“net˜w˜orks.Ž¡‘_7ªÆPar–ÿp¹al‘Flel›êêPr“o“c“essing˜L“etters¹,–¦f10(1):3{14,“2000.ŽŽŸsç’ó|’36ŽŽŒ‹%Ä= ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[PV00b]ŽŽ‘_7ªF–Õ¬Pš²!etit“and“V“Villain.‘bƒSelf-stabilizing“depth- rst“tok˜en“circulation“in“asyn-Ž¤ ™š‘_7ªc²!hronous–ˆmessage-passing“systems.‘ qÆComputers–‘and“A¸\rti cial“Intel‘Fligenc‘ÿp¹e¹,Ž¡‘_7ª19(5):391{415,‘¦f2000.Ž© ð‘sç[PW²!C99]ŽŽ‘_7ªR•²!C›±¸P“an,–´JZ˜W‘ÿeang,“and˜LR˜Cho²!w.‘ü}A‘±¶self-stabilizing˜distributed˜spanning˜treeŽ¡‘_7ªconstruction–Yalgorithm“with“a“distributed“demon.‘ï+ÆT‘ÿ)amsui–HOxfor‘ÿp¹d“Journal“ofŽ¡‘_7ªMathematic–ÿp¹al‘êêScienc“es¹,–¦f15:23{32,“1999.Ž¦‘sç[PY94]ŽŽ‘_7ªG–uMCC˜T‘ÿ)e–ÿp¹chnic“alŽ¡‘_7ªR–ÿp¹ep“ort–êêNo.“STP-379-89¹,‘¦f1989.Ž¦‘sç[Rin97a]ŽŽ‘_7ªR–®îRingrose.›ô-Self-stabilizing“robMÞot.˜In“ÆPr–ÿp¹o“c“e“e“dings–òÄof“IEEE‘òÂInternational“Con-Ž¡‘_7ªfer–ÿp¹enc“e–êêon“R–ÿp¹ob“otics–êêand“A¸\utomation¹,–¦fv²!olume“1,“pages“487{493,“1997.Ž¦‘sç[Rin97b]ŽŽ‘_7ªR–û¯Ringrose.›ÓÉSelf-stabilizing“running.˜In“ÆIEEE‘$”International›$åConfer–ÿp¹enc“e˜onŽ¡‘_7ªR–ÿp¹ob“otics–êêand“A¸\utomation¹,–¦fpages“487{493,“1997.Ž¦‘sç[RM92]ŽŽ‘_7ªMS›|YRadenk•²!o“vic˜and˜A˜Mic“hel.‘–5Robust˜adaptiv“e˜systems˜and˜self˜stabilization.Ž¡‘_7ªÆIEEE–êêT‘ÿ)r›ÿp¹ansactions“on“A¸\utomatic“Contr˜ol¹,–¦f37(9):1355{1369,“1992.Ž¦‘sç[Ros00]ŽŽ‘_7ªL–¨Rosaz.‘&LSelf-stabilizing“tokš²!en“circulation“on“async˜hronous“uniform“unidirec-Ž¡‘_7ªtional–þHrings.‘à¤In“ÆPODC00›;ÄPr–ÿp¹o“c“e“e“dings˜of˜the˜Ninete“enth˜A•¸\nnual˜A“CM‘;¯Symp‘ÿp¹o-Ž¡‘_7ªsium–êêon“Principles“of“Distribute‘ÿp¹d“Computing¹,–¦fpages“249{258,“2000.Ž¦‘sç[SAASA93]ŽŽ‘_7ªK–j/Saleh,›Û I“Ahmad,˜K“Al-Saqabi,˜and“A“Agarwš²!al.‘ Dynamic“c˜hec˜kpMÞoin˜tingŽ¡‘_7ªprošMÞcedure–for“the“design“of“stabilizing“proto˜cols.‘ì¦ÆInformation–,’and“Softwar‘ÿp¹eŽ¡‘_7ªT‘ÿ)e–ÿp¹chnolo“gy¹,–¦f35:479{485,“1993.Ž¦‘sç[Sc²!h93a]ŽŽ‘_7ªFB–ÅžSc²!hneider.‘lWWhat“go•MÞo“d–Åžare“mošMÞdels“and“what“mo˜dels“are“go˜o˜d.‘lWIn“ÆDistribute‘ÿp¹dŽ¡‘_7ªsystems–ãô(2nd“e‘ÿp¹dition)¹,– Xc²!hapter›žÕ3,“pages˜17{26.˜Addison-W‘ÿeesley˜&˜A²!CM‘žÓPress,Ž¡‘_7ª1993.‘ÚÀSJ–¦fMullender,“Editor.Ž¦‘sç[Sc²!h93b]ŽŽ‘_7ªM›¦fSc²!hneider.–ÚÀSelf-stabilization.“ÆA¸\CM–êêComputing“Surveys¹,˜25:45{67,˜1993.Ž¦‘sç[Sc²!h95]ŽŽ‘_7ªM–âSc²!hneider.›)öSelf-stabilizing“real-time“decision“systems.˜In“ÆR–ÿp¹esp“onsive‘RgCom-Ž¡‘_7ªputer–X,Systems:‘ãûSteps“T›ÿ)owar‘ÿp¹d“F˜ault-T˜oler›ÿp¹ant“R˜e˜al-Time“Systems¹,‘–­c²!hapter‘3l2,Ž¡‘_7ªpages–é¢19{44.“Klu•²!w“er–é¢Academic“Publishers,‘:p1995.‘þDS›éOF‘ÿeussell“and“M˜Malek,Ž¡‘_7ªEditors.ŽŽŸsç’ó|’37ŽŽŒ‹&Ñ… ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[SG89]ŽŽ‘_7ªJM–¼SSpinelli“and“Rš²!G“Gallager.‘ùEv˜en˜t“driv˜en“topMÞology“broadcast“without“se-Ž¤ ™š‘_7ªquence‘¦fn•²!um“bMÞers.‘ÚÀÆIEEE–êêT‘ÿ)r›ÿp¹ansactions“on“Communic˜ations¹,–¦f37:468{474,“1989.Ž©™š‘sç[SLR98a]ŽŽ‘_7ªA–µSinghai,›øÆSB“Lim,˜and“SR“Radia.‘sThe“sunSCALR‘´Ôframewš²!ork“for“in˜ternetŽ¡‘_7ªserv²!ers.‘ê¸In‘ªÆPr–ÿp¹o“c“e“e“dings–>àof“the“28th“IEEE‘>ËSymp‘ÿp¹osium“on“F›ÿ)ault“T˜oler‘ÿp¹ant“Com-Ž¡‘_7ªputing–êêSystems“(FTCS'98)¹,–¦fpages“108{117,“1998.Ž¦‘sç[SLR98b]ŽŽ‘_7ªA–“˜Singhai,›ÎåSB“Lim,˜and“SR“Radia.‘™The“SunSCALR‘“[framewš²!ork“for“in˜ternetŽ¡‘_7ªserv²!ers.‘N;In‘³%ÆFTCS95› Pr–ÿp¹o“c“e“e“dings˜of˜the˜28th˜IEEE‘ æSymp“osium˜on˜F–ÿ)ault-T“oler‘ÿp¹antŽ¡‘_7ªComputing‘êêSystems¹,–¦fpages“108{117,“1998.Ž¦‘sç[Spi90]ŽŽ‘_7ªJM–Spinelli.‘ÎSelf-stabilizing“net•²!w“ork›comm“unication˜protoMÞcols.‘ÎIn˜ÆCommuni-Ž¡‘_7ªc–ÿp¹ation,›DContr“ol,˜and–2CSignal“Pr–ÿp¹o“c“essing,˜Pr“o“c“e“e“dings–2Cof“the“1990“Bilkent“Inter-Ž¡‘_7ªnational‘êêConfer–ÿp¹enc“e¹,–¦fpages“141{147.“Elsevier,“1990.‘ÚÀE“Arik‘ÿdDan,“Editor.Ž¦‘sç[Spi97]ŽŽ‘_7ªJM–çSpinelli.‘¢ëSelf-stabilizing“sliding“windoš²!w“AR˜Q‘æéprotoMÞcols.‘¢ëÆIEEE-A¸\CM‘:¾T‘ÿ)r‘ÿp¹ans-Ž¡‘_7ªactions–êêon“Networking¹,–¦f5(2):245{254,“1997.Ž¦‘sç[SRR94]ŽŽ‘_7ªS–xShš²!ukla,‘ì‡D“Rosenkran˜tz,‘ì‡and“S“Ra˜vi.‘ FDev˜eloping“self-stabilizing“coloringŽ¡‘_7ªalgorithms–:}via“systematic“randomization.‘”In“ÆPr–ÿp¹o“c“e“e“dings–s(of“the“InternationalŽ¡‘_7ªWorkshop–Yàon“Par›ÿp¹al‘Flel“Pr˜o˜c˜essing¹,–(Gpages›¿668{673,“Bangalore,“India,“1994.˜T‘ÿeata-Ž¡‘_7ªMcGra²!whill,–¦fNew“Delhi.Ž¦‘sç[SRR95]ŽŽ‘_7ªSK–1Shš²!ukla,‘”ZDJ“Rosenkran˜tz,‘”Zand“SS“Ra˜vi.‘ tXObserv‘ÿdDations“on“self-stabilizingŽ¡‘_7ªgraph–)\algorithms“for“anonš²!ymous“net˜w˜orks.‘îIn“ÆPr–ÿp¹o“c“e“e“dings–wáof“the“Se–ÿp¹c“ond‘wáWork-Ž¡‘_7ªshop–êêon“Self-Stabilizing“Systems¹,–¦fpages“7.1{7.15,“1995.Ž¦‘sç[SRR97]ŽŽ‘_7ªSK–p[Shš²!ukla,‘¢ØDJ“Rosenkran˜tz,‘¢Øand“SS“Ra˜vi.‘4–A‘p'sim˜ulation“and“v‘ÿdDalidation“toMÞolŽ¡‘_7ªfor–u„self-stabilizing“protoMÞcols.‘‹In“ÆSPIN96›½ñPr–ÿp¹o“c“e“e“dings˜of˜the˜SPIN96˜Workshop,Ž¡‘_7ªDIMA¸\CS‘”ÎSeries–”úin“Discr›ÿp¹ete“Mathematics“and“The˜or˜etic˜al“Computer“Scienc˜e,Ž¡‘_7ªISSN:‘uÂ1052-1798¹,‘@†vš²!olume–'32.“American“Mathematical“SoMÞciet˜y‘ÿe,‘@†DIMA˜CS,“1997.Ž¦‘sç[SS92]ŽŽ‘_7ªS–Î[Sur“and“PK“Srimani.‘QÒA›ÎQself-stabilizing“distributed“algorithm“for“BFS˜span-Ž¡‘_7ªning–¦ftrees“of“a“symmetric“graph.‘ÚÀÆPar–ÿp¹al‘Flel›êêPr“o“c“essing˜L“etters¹,–¦f2:171{179,“1992.Ž¦‘sç[SS93]ŽŽ‘_7ªS–ŠñSur“and“PK“Srimani.‘ ²A‘Š©self-stabilizing“algorithm“for“coloring“bipartite“graphs.Ž¡‘_7ªÆInformation‘êêScienc‘ÿp¹es¹,–¦f69:219{227,“1993.Ž¦‘sç[SS94]ŽŽ‘_7ªM–üSiegel“and“F‘þȈA“Stomp.‘ÅExtending“the“limits“of“sequen²!tially“phased“reasoning.Ž¡‘_7ªIn‘éÆFSTTCS94–(>F›ÿ)oundations“of“Softwar‘ÿp¹e“T˜e–ÿp¹chnolo“gy–(>and“The–ÿp¹or“etic“al‘(>ComputerŽ¡‘_7ªScienc–ÿp¹e,›êêF‘ÿ)ourte“enth˜Confer“enc“e¹,–¦fpages“402{415,“1994.Ž¦‘sç[Sta83]ŽŽ‘_7ªWR–SbStark.‘ Ù"Homeostasis“in“sync²!hronous“distributed“computation,‘¾¡a“formalŽ¡‘_7ªview.‘ÚÀÆInformation‘êêScienc‘ÿp¹es¹,–¦f30:151{169,“1983.Ž¦‘sç[Sto93]ŽŽ‘_7ªF‘þȈA–ŒaStomp.›ˆStructured“design“of“self-stabilizing“programs.˜In“ÆPr–ÿp¹o“c“e“e“dings‘¾ofŽ¡‘_7ªthe–þ€2nd“Isr›ÿp¹ael“Symp˜osium“on“The˜ory“and“Computing“Systems¹,‘Ápages‘»°167{176,Ž¡‘_7ª1993.ŽŽŸsç’ó|’38ŽŽŒ‹'ß( ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[SY99]ŽŽ‘_7ªI–ÒüSuzuki“and“M“Y‘ÿeamashita.‘_Distributed“anon²!ymous“mobile“robMÞots:‘7formationŽ¤ ™š‘_7ªof–¦fgeometric“patterns.‘ÚÀÆSIAM–êêJournal“on“Computing¹,–¦f28(4):1347{1363,“1999.Ž©¬ö‘sç[T‘ÿeau89]ŽŽ‘_7ªG–(T‘ÿeaubMÞenfeld.› œSelf-stabilizing“Petri“nets.˜T›ÿeec²!hnical“RepMÞort“Y˜ALEU/DCS/TR-Ž¡‘_7ª707,–¦fY‘ÿeale“Univ•²!ersit“y›¦fDepartmen“t˜of˜Computer˜Science,˜1989.Ž¦‘sç[TB96]ŽŽ‘_7ªS–#-Tixeuil“and“J“Beauquier.›N—Self-stabilizing“tok²!en“ring.˜In“ÆInternational‘]µCon-Ž¡‘_7ªfer–ÿp¹enc“e–êêon“Softwar›ÿp¹e“Engine˜ering“(ICSE'96)¹,–¦fpages“??{??,“1996.Ž¦‘sç[Tc²!h81]ŽŽ‘_7ªM›À Tc•²!h“uen“te.–"Sur˜l'auto-stabilisation˜dans˜un˜r²"‘úÔDeseau˜d'ordinateurs.“ÆRAIR¸\OŽ¡‘_7ªInformatique‘êêThe–ÿp¹or“etique¹,–¦f15:47{66,“1981.Ž¦‘sç[T‘ÿeel94a]ŽŽ‘_7ªG‘=T‘ÿeel.›çRÆIntr–ÿp¹o“duction–*íto“distribute‘ÿp¹d“algorithms¹.˜Cam•²!bridge›=Univ“ersit“y˜Press,Ž¡‘_7ª1994.Ž¦‘sç[T‘ÿeel94b]ŽŽ‘_7ªG–_ÒT‘ÿeel.›g´Maximal“matc²!hing“stabilizes“in“quadratic“time.˜ÆInformation‘©ûPr–ÿp¹o“c“essingŽ¡‘_7ªL‘ÿp¹etters¹,–¦f49:271{272,“1994.Ž¦‘sç[TG98]ŽŽ‘_7ªO– Theel“and“Fš²!C“G‘ú†fartner.‘ñÍOn“pro˜ving“the“stabilit˜y“of“distributed“algorithms:Ž¡‘_7ªself-stabilization–nIvs.“con²!trol“theory‘ÿe.‘.kIn“ÆPr–ÿp¹o“c“e“e“dings–¢Ïof“the“International“Con-Ž¡‘_7ªfer–ÿp¹enc“e–×¹on“Systems,–íSignals,“Contr›ÿp¹ol,“Computers‘×¹(SSCC‘×|'98,“Durb˜an,“SouthŽ¡‘_7ªAfric‘ÿp¹a,‘êêSept.)¹,–¦fpages“58{66,“1998.‘ÚÀVB“Ba‘›»jic,“Editor.Ž¦‘sç[TG99]ŽŽ‘_7ªO–YxTheel“and“Fš²!C“G‘ú†fartner.‘]YAn“exercise“in“pro˜ving“con˜v˜ergence“through“transferŽ¡‘_7ªfunctions.‘6TIn‘ ÆPr–ÿp¹o“c“e“e“dings–V8of“the“F‘ÿ)ourth“Workshop“on“Self-Stabilizing“SystemsŽ¡‘_7ª(publishe›ÿp¹d–êÓin“asso˜ciation“with“ICDCS99“The“19th“IEEE“International“Confer-Ž¡‘_7ªenc›ÿp¹e–߈on“Distribute˜d“Computing“Systems)¹,‘½äpages–ƒÃ41{47.“IEEE‘ƒzComputer“SoMÞciet²!y‘ÿe,Ž¡‘_7ª1999.Ž¦‘sç[TH94]ŽŽ‘_7ªMS–Ò!Tsai“and“ST“Huang.‘WóA‘ÑÔself-stabilizing“algorithm“for“the“shortest“pathsŽ¡‘_7ªproblem–3with“a“fully“distributed“demon.‘ÆPar–ÿp¹al‘Flel›M+Pr“o“c“essing˜L“etters¹,‘+æ4:65{72,Ž¡‘_7ª1994.Ž¦‘sç[TH95]ŽŽ‘_7ªMS–ªTsai“and“ST“Huang.›à®Self-stabilizing“ring“orien²!tation“protoMÞcols.˜In“ÆPr‘ÿp¹o-Ž¡‘_7ªc–ÿp¹e“e“dings–{Zof“the“Se–ÿp¹c“ond–{ZWorkshop“on“Self-Stabilizing“Systems¹,‘Ecpages‘-"16.1{16.14,Ž¡‘_7ª1995.Ž¦‘sç[The00a]ŽŽ‘_7ªO–QTheel.‘×bBrief“announcemenš²!t:‘3:a“v˜eri cation“tec˜hnique“for“self-stabilizing“al-Ž¡‘_7ªgorithms–Àbased“on“Ljapuno²!v's“second“methoMÞd.‘'In“ÆPODC00›}Pr–ÿp¹o“c“e“e“dings˜of˜theŽ¡‘_7ªNinete‘ÿp¹enth–*¬Aš¸\nnual“A˜CM‘*›Symp›ÿp¹osium“on“Principles“of“Distribute˜d“Computing¹,Ž¡‘_7ªpage–¦f331,“2000.Ž¦‘sç[The00b]ŽŽ‘_7ªO–ÆÀTheel.‘ 0îExploitation“of“Ljapunoš²!v“theory“for“v˜erifying“self-stabilizing“al-Ž¡‘_7ªgorithms.‘ï”In‘¯ÆDISC00–ÞqDistribute›ÿp¹d“Computing“14th“International“Symp˜osium,Ž¡‘_7ªSpringer‘êêLNCS:1914¹,–¦fpages“209{222,“2000.Ž¦‘sç[The01a]ŽŽ‘_7ªO–„ëTheel.‘¤-An“exercise“in“proš²!ving“self-stabilization“through“Ljapuno˜v“functions.Ž¡‘_7ªIn‘{ÕÆICDCS01–ÃÀThe“21st“IEEE‘öInternational“Confer–ÿp¹enc“e–ÃÀon“Distribute‘ÿp¹d“Comput-Ž¡‘_7ªing‘êêSystems¹,–¦fpages“727{730,“2001.ŽŽŸsç’ó|’39ŽŽŒ‹(ìø ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[The01b]ŽŽ‘_7ªO–ÖJTheel.‘‡…A‘Önew“vš²!eri cation“tec˜hnique“for“self-stabilizing“distributed“algorithmsŽ¤ ™š‘_7ªbased– Fon“v‘ÿdDariable“structure“systems“and“Ljapuno²!v“theory‘ÿe.‘ÜBIn“ÆPr–ÿp¹o“c“e“e“dings–[Gof“theŽ¡‘_7ª34th–HiA¸\nnual“Hawaii“International“Confer–ÿp¹enc“e–Hion“System“Scienc‘ÿp¹es¹,‘pages‘õÃ3984{Ž¡‘_7ª3991,‘¦f2001.Ž©™š‘sç[Tix01]ŽŽ‘_7ªS–j”Tixeuil.› AOn“a“space-optimal“distributed“tra•²!v“ersal–j”algorithm.˜In“ÆWSS01Ž¡‘_7ªPr–ÿp¹o“c“e“e“dings–ý}of“the“Fifth“International“Workshop“on“Self-Stabilizing“Systems,Ž¡‘_7ªSpringer‘êêLNCS:2194¹,–¦fpages“216{228,“2001.Ž¦‘sç[TKM89]ŽŽ‘_7ªG–9ÁT‘ÿeaubMÞenfeld,›^—S“Katz,˜and“S“Moran.‘‘ßInitial“failures“in“distributed“computa-Ž¡‘_7ªtions.‘ÚÀÆInternational–êêJournal“of“Par›ÿp¹al‘Flel“Pr˜o˜gr˜amming¹,–¦f18:255{276,“1989.Ž¦‘sç[TNPK01]ŽŽ‘_7ªT›¤>Tsuc•²!hiy“a,–ã´S˜Nagano,“RB˜P²!aidi,“and˜T˜Kikuno.‘Ï6Sym²!b•MÞolic˜mo“del˜c•²!hec“kingŽ¡‘_7ªfor–Ýself-stabilizing“algorithms.‘ ÆIEEE‘œT‘ÿ)r›ÿp¹ansactions–©on“Par˜al‘Flel“and“Distribute˜dŽ¡‘_7ªSystems¹,–¦f12(1):81{95,“2001.Ž¦‘sç[TTK00]ŽŽ‘_7ªT›ð5Tsuc•²!hiy“ai,–B¨Y˜T‘ÿeokuda,“and˜T˜Kikuno.‘±•Computing˜the˜stabilization˜timesŽ¡‘_7ªof–…¹self-stabilizing“systems.‘¥}ÆIEICE‘ÌÓT›ÿ)r‘ÿp¹ansactions–ÌÛon“F˜undamentals“of“Ele–ÿp¹ctr“onicŽ¡‘_7ªCommunic›ÿp¹ations–êêand“Computer“Scienc˜es¹,–¦fE83A(11):2245{2252,“2000.Ž¦‘sç[TW86]ŽŽ‘_7ªJG–¦´Thistle“and“WM“W‘ÿeonham.‘9óConš²!trol“problems“in“a“tempMÞoral“logic“framew˜ork.Ž¡‘_7ªÆInternational–êêJournal“on“Contr‘ÿp¹ol¹,–¦f44:943{976,“1986.Ž¦‘sç[TW91]ŽŽ‘_7ªP–©»T‘ÿeetali“and“P“Winkler.‘ßOn“a“random“wš²!alk“arising“in“self-stabilizing“tok˜enŽ¡‘_7ªmanagemen²!t.‘ŸYIn‘è_ÆPODC91›'œPr–ÿp¹o“c“e“e“dings˜of˜the˜T‘ÿ)enth˜A•¸\nnual˜A“CM‘'ŒSymp‘ÿp¹osiumŽ¡‘_7ªon–êêPrinciples“of“Distribute‘ÿp¹d“Computing¹,–¦fpages“273{280,“1991.Ž¦‘sç[UKMF97]ŽŽ‘_7ªE–-iUeda,›E›Y“Kata•²!y“ama,˜T‘-iMasuza“w“a,˜and–-iH“F‘ÿeujiw²!ara.‘ˆA‘-Jlatency-optimal“supMÞer-Ž¡‘_7ªstabilizing–;m²!utual“exclusion“protoMÞcol.‘`éIn“ÆPr–ÿp¹o“c“e“e“dings–²fof“the“Thir‘ÿp¹d“WorkshopŽ¡‘_7ªon–êêSelf-Stabilizing“Systems¹,–¦fpages“110{124.“Carleton“Univ•²!ersit“y–¦fPress,“1997.Ž¦‘sç[UKY98]ŽŽ‘_7ªN–¡ Umemoto,›ÕPH“Kakuga•²!w“a,˜and–¡ M“Y‘ÿeamashita.‘0¸A‘ Èself-stabilizing“ring“orien²!tationŽ¡‘_7ªalgorithm–uIwith“a“smaller“n•²!um“bšMÞer–uIof“pro˜cessor“states.‘CGÆIEEE‘©T‘ÿ)r‘ÿp¹ansactions‘©@onŽ¡‘_7ªPar›ÿp¹al‘Flel–êêand“Distribute˜d“Systems¹,–¦f9(6):579{584,“1998.Ž¦‘sç[V‘þȈA²!G95]ŽŽ‘_7ªG–p;V‘ÿearghese,›{A“Arora,˜and“MG“Gouda.›‚tSelf-stabilization“b²!y“tree“correction.˜InŽ¡‘_7ªÆPr–ÿp¹o“c“e“e“dings–·Áof“the“Se–ÿp¹c“ond–·ÁWorkshop“on“Self-Stabilizing“Systems¹,‘¼·pages‘… 12.1{Ž¡‘_7ª12.14,‘¦f1995.Ž¦‘sç[V‘þȈA²!G97]ŽŽ‘_7ªG–¤fV‘ÿearghese,›ãæA“Arora,˜and“MG“Gouda.‘Ï­Self-stabilization“b²!y“tree“correction.Ž¡‘_7ªÆChic›ÿp¹ago–êêJournal“of“The˜or˜etic˜al“Computer“Scienc˜e¹,–¦f3(3):1{32,“1997.Ž¦‘sç[V‘ÿear93]ŽŽ‘_7ªG–µ\V‘ÿearghese.‘VSelf-stabilization“bš²!y“loMÞcal“c˜hec˜king“and“correction“(Ph.D.“thesis).Ž¡‘_7ªT‘ÿeec²!hnical–¦fRepMÞort“MIT/LCS/TR-583,“MIT,“1993.Ž¦‘sç[V‘ÿear94]ŽŽ‘_7ªG–²ãV‘ÿearghese.‘ÿ÷Self-stabilization“bš²!y“coun˜ter“ ushing.‘ÿ÷In“ÆPODC94›ögPr–ÿp¹o“c“e“e“dings˜ofŽ¡‘_7ªthe–Ç´Thirte‘ÿp¹enth“Aš¸\nnual“A˜CM‘Ç«Symp›ÿp¹osium“on“Principles“of“Distribute˜d“Comput-Ž¡‘_7ªing¹,–¦fpages“244{253,“1994.ŽŽŸsç’ó|’40ŽŽŒ‹)ù÷ ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[V‘ÿear97]ŽŽ‘_7ªG–ïV‘ÿearghese.‘ CompšMÞositional“pro˜ofs“of“self-stabilizing“proto˜cols.‘ In“ÆPr–ÿp¹o“c“e“e“d-Ž¤ ™š‘_7ªings–ÇMof“the“Thir‘ÿp¹d“Workshop“on“Self-Stabilizing“Systems¹,‘‡opages–±80{94.“CarletonŽ¡‘_7ªUniv•²!ersit“y–¦fPress,“1997.Ž©À‘sç[V‘ÿear00]ŽŽ‘_7ªG–¾V‘ÿearghese.‘·sSelf-stabilization“bš²!y“coun˜ter“ ushing.‘·sÆSIAM‘ÖùJournal–Öþon“Comput-Ž¡‘_7ªing¹,–¦f30(2):486{510,“2000.Ž¦‘sç[V‘ÿeer94]ŽŽ‘_7ªB–­V‘ÿeerw²!eij.›î±Stabilization:‘ë?rounds“and“steps.˜Dev•²!elopmen“ts–­in“distributed“algo-Ž¡‘_7ªrithms–¦f1994“course“notes,“Univ•²!ersit“y–¦fof“Utrec•²!h“t,–¦fG“T‘ÿeel,“Editor,“1994.Ž¦‘sç[WH94a]ŽŽ‘_7ªLC–›-W‘ÿeuu“and“ST“Huang.‘´1Iden•²!tit“y››-assignmen“t˜in˜uniform˜sync“hronous˜rings.Ž¡‘_7ªÆInformation›êêPr–ÿp¹o“c“essing˜L“etters¹,–¦f49:257{262,“1994.Ž¦‘sç[WH94b]ŽŽ‘_7ªLC–™§W‘ÿeuu“and“ST“Huang.‘ÅùSelf-stabilizing“iden•²!tit“y›™§assignmen“t˜in˜uniform˜unidi-Ž¡‘_7ªrectional–'Érings.‘\RIn“ÆICCI94–aóSixth“International“Confer–ÿp¹enc“e–aóon“Computing“andŽ¡‘_7ªInformation¹,–¦fpages“473{492,“1994.Ž¦‘sç[WH95]ŽŽ‘_7ªLC–BaW‘ÿeuu“and“ST“Huang.›7¶Distributed“self-stabilizing“systems.˜ÆJournal–Žåof“Infor-Ž¡‘_7ªmation–êêScienc›ÿp¹e“and“Engine˜ering¹,–¦f11:307{326,“1995.Ž¦‘sç[WMP94]ŽŽ‘_7ªK–FW‘ÿeang,›µ~AN“Mic²!hel,˜and“KM“Pš²!assino.‘a On“stabilit˜y-preserving“mappings“ofŽ¡‘_7ªdynamical‘¦fsystems.‘ÚÀÆA¸\utomation–êêand“R›ÿp¹emote“Contr˜ol¹,–¦f55:1592{1597,“1994.Ž¦‘sç[WS79]ŽŽ‘_7ªC›˜AWhitb•²!y-Strev“ens.‘"fOn˜the˜pMÞerformance˜of˜Dijkstra's˜self-stabilising˜algorithmsŽ¡‘_7ªin–Êuspite“of“distributed“con²!trol.‘F5In“ÆPr–ÿp¹o“c“e“e“dings– of“the“1st“International“Confer-Ž¡‘_7ªenc›ÿp¹e–êêon“Distribute˜d“Computing“Systems¹,–¦fpages“586{592,“1979.Ž¦‘sç[YB95]ŽŽ‘_7ªIL–Y‘ÿeen“and“FB“Bastani.‘ %A‘Àhighly“safe“self-stabilizing“m²!utual“exclusion“al-Ž¡‘_7ªgorithm.‘ÄhIn‘J¶ÆPr–ÿp¹o“c“e“e“dings–‚of“the“Se–ÿp¹c“ond–‚Workshop“on“Self-Stabilizing“Systems¹,Ž¡‘_7ªpages–¦f18.1{18.13,“1995.Ž¦‘sç[YBL91]ŽŽ‘_7ªIL–’Y‘ÿeen,›2FB“Bastani,˜and“EL“Leiss.‘)An“inherenš²!tly“fault“toleran˜t“sorting“algo-Ž¡‘_7ªrithm.‘jŒIn‘Ä„ÆPr–ÿp¹o“c“e“e“dings–of“the“Fifth“International“Par›ÿp¹al‘Flel“Pr˜o˜c˜essing“Symp˜osium¹,Ž¡‘_7ªpages–¦f34{42,“1991.Ž¦‘sç[YD96]ŽŽ‘_7ªN–ç Y‘ÿeahfou “and“S“Do•²!w“a‘›»ji.‘ Self-stabilizing–ç distributed“branc²!h-and-bMÞound“algo-Ž¡‘_7ªrithm.‘1€In‘Å:ÆPr–ÿp¹o“c“e“e“dings–òËof“the“1996“IEEE‘ò‡15th“A¸\nnual“International“Pho‘ÿp¹enixŽ¡‘_7ªConfer–ÿp¹enc“e–êêon“Computers“and“Communic‘ÿp¹ations¹,–¦fpages“246{252,“1996.Ž¦‘sç[Y‘ÿeen96]ŽŽ‘_7ªIL––RY‘ÿeen.›ÀŠA‘–Nhighly“safe“self-stabilizing“m²!utual“exclusion“algorithm.˜ÆInformationŽ¡‘_7ªPr–ÿp¹o“c“essing‘êêL“etters¹,–¦f57:301{305,“1996.Ž¦‘sç[Y‘ÿeen01]ŽŽ‘_7ªHC–÷Y‘ÿeen.›•ÃAnalysis“of“self-stabilization“for“in nite-state“systems.˜In“ÆPr–ÿp¹o“c“e“e“d-Ž¡‘_7ªings–‚of“the“Seventh“IEEE‘‚gInternational“Confer–ÿp¹enc“e–‚on“Engine‘ÿp¹ering“of“ComplexŽ¡‘_7ªComputer‘êêSystems¹,–¦fpages“240{248,“2001.Ž¦‘sç[YG93]ŽŽ‘_7ªSD–JúY‘ÿeoung“and“VK“Garg.‘ ÀOn“self-stabilizing“systems:‘'an“approac²!h“to“theŽ¡‘_7ªspMÞeci cation–4ãand“design“of“fault-toleran²!t“systems.‘ƒ^In“ÆPr–ÿp¹o“c“e“e“dings–nof“the“32ndŽ¡‘_7ªIEEE›êêConfer–ÿp¹enc“e˜on˜De“cision˜and˜Contr“ol¹,–¦fpages“1200{1205,“1993.ŽŽŸsç’ó|’41ŽŽŒ‹*¶ ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[YWB01]ŽŽ‘_7ªV–¥ÆY›ÿeano²!vski,‘%IA“W˜agner,‘%and“AM“Bruc•²!kstein.‘ ΧV˜ertex-an“t-w“alk–¥Æ-“a“robustŽ¤ ™š‘_7ªmethoMÞd–ufor“ecienš²!t“exploration“of“fault˜y“graphs.‘ùÆA¸\nnals–CJof“Mathematics“andŽ¡‘_7ªA¸\rti cial–êêIntel‘Fligenc›ÿp¹e,“Sp˜e˜cial“Issue“on“A¸\nt-R˜ob˜otics¹,–¦f31(1-4):99{112,“2001.ŽŸ™š‘sç[ZB92]ŽŽ‘_7ªY–ʉZhao“and“FB“Bastani.‘FqA‘Ê€self-adjusting“algorithm“for“Byzanš²!tine“agreemen˜t.Ž¡‘_7ªÆDistribute‘ÿp¹d‘êêComputing¹,–¦f5:219{226,“1992.ŽŽŸsç’ó|’42ŽŽŒø*ƒ’À;èŽiÒÕxp*óý': ó3 cmti10ó!",š ó3 cmsy10ó  b> ó3 cmmi10ó|{Ycmr8óßê