÷ƒ’À;è TeX output 2002.12.27:1651‹ÿÿÿÿ ŽiÒ ýŽ  U‚ ýádf‘[Ö˜óDÓítG®G®cmr17ºSelf-Stabilization–7tBibliographŒqy:‘¬Access“GuideŽŸ$lÏ’ØúXóX«Q cmr12»T‘ÿVed‘ê¨HermanŽŽŽŽŽŸŒÏ’¦ÏýLast–ê¨revised:‘8à27“Decem¬rbSŽer“2002ŽŸ*’âöóò"V cmbx10ÄAbstractŽŸ@‘7ÓëóKñ`y cmr10²This–°doGcumenš¸ãt,‘CFa“companion“to“the“bibliograph˜y“on“self-stabilization,‘CFis“in˜tended“as“aŽ¤ ‘7Óëhigh-levš¸ãel–ðÿaid“to“searc˜hing“the“literature.‘DÆNot“in˜tended“to“bGe“a“surv˜ey“of“the“ eld,‘êtheŽ¡‘7ÓëdoGcumenš¸ãt–Ü1classi es“citations“according“to“selected“topics“co˜v˜ered“b˜y“papGers“included“inŽ¡‘7Óëthe‘UUbibliograph¸ãy‘ÿ*ª.Ž¡‘FÓìF‘ÿ*ªor–.Àthe“HTML‘.¶form“of“the“Access“Guide,‘6wwš¸ãe“in˜vite“authors“to“supply“URL‘.¶addressesŽ¡‘7Óëfor–Öhome“pages“and“pšGoin¸ãters“to“p˜ostscript“v¸ãersions“of“the“pap˜ers;‘„these“URLs“can“thenŽ¡‘7ÓëbGe–UUinš¸ãtegrated“in˜to“the“bibliograph˜y‘ÿ*ª.ŽŸ(€A‘sçóÂÖN ff cmbx12Æ1Ž‘4À²InŒÌtros3ductionŽŸq‹‘sçóKñ`y ó3 cmr10¹Researc²!h–_Jrelated“to“self-stabilization“spans“areas“of“engineering,›mƒcomputer“science,˜and“ph²!ys-Ž¤ ™š‘sçical–V'sciences.‘ÃSearcš²!hes“of“scien˜ti c“literature“yield“papMÞers“in“c˜hemical“and“electrical“engineer-Ž¡‘sçing,–¹‘optics,“and–‚‰biology“that“men²!tion“self-stabilization“either“in“the“title“or“abstract.‘rETheŽ¡‘sçessenš²!tial–ß>idea“of“self-stabilization“is“similar“in“these“disparate“researc˜h“ elds.‘ˆdMethoMÞds“fromŽ¡‘sçapplied–3–mathematics,‘JespMÞecially“the“robustly“con•²!v“ergen“t›3–appro“ximation˜algorithms,‘Juse˜ideasŽ¡‘sçrelated–ˆ.to“self-stabilization.‘ƒ6In“computer“science“literature,‘À the“term“t²!ypically“has“spMÞeci cŽ¡‘sçconnotations:‘Ðlresearcš²!h–®tends“to“bMÞe“more“theoretical“than“implemen˜tation-based;‘ÜQand“theŽ¡‘sçsetting–¦fis“most“often“one“of“distributed“or“concurren²!t“computing.Ž©™š‘sçThis–"ˆdoMÞcumenš²!t“is“an“\access“guide"“to“the“bibliograph˜y“on“self-stabilization.‘±èIt“is“in˜tended“toŽ¡‘sçassist–Æ6researcš²!hers“in“the“ eld“and“readers“in˜terested“in“follo˜wing“a“particular“topic“in“depth.Ž¡‘sçThe–,bsections“that“folloš²!w“cite“papMÞers“that“are“related“b˜y“the“applications“they“consider,‘MátheŽ¡‘sçdirection–¦fof“the“researc²!h,“or“historical“relation.Ž¦‘sçW‘ÿeork–ü1on“self-stabilization“is“complex“and“in•²!v“estigates›ü1man“y˜questions˜abMÞout˜distributed˜al-Ž¡‘sçgorithms,–ÆCfault›¿ätolerance,“and˜computational˜moMÞdels.‘*WThe˜literature˜therefore˜de es˜easy˜orŽ¡‘sçde nitiv•²!e›‘categorization.‘1]P“ap•MÞers˜could˜b“e˜classi ed˜b•²!y˜problem˜domains,‘3Ûresearc“h˜goals,‘3ÛorŽ¡‘sçevš²!en–T+lineage“in“the“literature.‘ÂtThe“only“apMÞology“o ered“for“the“follo˜wing“classi cation“is“thatŽ¡‘sçone–¦fm²!ust“bMÞegin“somewhere!ŽŽŸsç’ö9_1ŽŽŒ‹* ŽiÒ ýŽ  U‚ ýµ}ü‘sçÆ2Ž‘4À²De nitionsŽŸq‹‘sç¹There–³Mis“no“univ²!ersally“agreed“upšMÞon“formal“de nition“of“self-stabilization.‘’Some“pap˜ers“pro-Ž¤ ™š‘sçpšMÞose–nëde nitions“tailored“to“sp˜eci c“applications“and“mo˜dels,‘á while“other“pap˜ers“use“lessŽ¡‘sçformal,–¦fhigh-levš²!el“c˜haracterizations.‘ÝÝThe“proliferation“of“de nitions“is“lik˜ely“to“con˜tin˜ue.Ž©™š‘sçThe–½Pgenerally“ac•²!kno“wledged–½Pinitial“de nition“for“self-stabilization“(\in“spite“of“distributedŽ¡‘sçcon²!trol")–åÃoriginates“with“[Dij74Ž‘³¾,“Dij82aŽ‘$,“Dij82bŽ‘$®×].‘›ôThis“initial“de nition“is“tied“to“spMÞeci cŽ¡‘sçprotoMÞcols–ÄEand“an“abstract“macš²!hine“arc˜hitecture“based“on“guarded“assignmen˜ts;‘S4the“initialŽ¡‘sçde nition–“µremained“in“force“for“manš²!y“y˜ears“follo˜wing“the“initial“publication“(also“in uencingŽ¡‘sçthe–Þ¯selection“of“researcš²!h“problems).‘†¹Recen˜t“papMÞers“presen˜t“more“abstract“de nitions“of“self-Ž¡‘sçstabilization–¦f[A²!G93Ž‘sy,“Gou95Ž‘"ÀG].Ž¦‘sçIt–îis“also“inš²!teresting“to“observ˜e“that“discussion“of“self-stabilization“appMÞears“in“Systems“ScienceŽ¡‘sçliterature–£ë[Las72Ž‘–„]“prior“to“Dijkstra's“ rst“publication.‘Ý (In“fact,›¤jten“y²!ears“bMÞefore“[Dij82aŽ‘-X],˜theŽ¡‘sçpapšMÞer–å[Bo²!w62Ž‘É]“app˜ears;‘±$it“is“likš²!ely“that“self-stabilization“w˜as“discussed“in“the“late“1950'sŽ¡‘sçand–\;wš²!e“seek“con˜tributions“to“the“bibliograph˜y“that“predate“[Bo˜w62Ž‘É].)‘ ÿ]Researc˜h“on“self-Ž¡‘sçstabilization–RËin“the“areas“of“Systems“Science“or“Conš²!trol“Theory“con˜tin˜ues“[Sta83Ž‘ÄG,“BH93Ž‘ >,Ž¡‘sçYG93Ž‘85?,‘¦fWMP94Ž‘+X].Ž¦‘sçThe–õ•formal“de nition“of“self-stabilization“can“bšMÞe“state-based“or“based“on“b˜eha²!vior“as“repre-Ž¡‘sçsen•²!ted›;ib“y˜a˜tra‘›»jectory˜or˜history˜of˜states˜[LL90Ž‘£6]˜(see˜also˜[BGM93Ž‘%V'],‘`©where˜the˜distinctionŽ¡‘sçbšMÞet•²!w“een–äÏstate-based“and“b˜ehaš²!vioral“de nitions“is“sho˜wn“to“bMÞe“non-trivial).‘™Alternativ˜ely‘ÿe,‘ôiitŽ¡‘sçis–¦fpMÞossible“to“cš²!haracterize“self-stabilization“b˜y“a“\forgetful"“propMÞert˜y“[Sc˜h93aŽ‘!'y].Ž¦‘sçV‘ÿearianš²!ts–áof“self-stabilization“ha˜v˜e“bšMÞeen“prop˜osed“for“conš²!trol“theoretic“application“[O˜W‘þȈA91Ž‘%iœ],Ž¡‘sçand–ÒÈfor“situations“where“the“initial“state“has“a“limited“degree“of“arbitrariness“[FMR‘ÿeT90Ž‘+1].‘cAŽ¡‘sçv‘ÿdDarian•²!t›¾Ùma“y˜also˜bMÞe˜needed˜to˜address˜self-stabilization˜of˜shared˜ob‘›»jects˜[L‘þȈV92Ž‘Ê$,˜HPT95Ž‘'D¹].Ž¡‘sçHop eld–2nets“and“similar“forms“of“neural“net•²!w“orks›2ma“y˜also˜ha“v“e˜spMÞecial˜de nitions˜of˜theŽ¡‘sçterm–¦f[D²!WW86Ž‘)„Ï,“PD95Ž‘j¬].ŽŸ(€A‘sçÆ3Ž‘4À²Adv•ŒÌos3cacy‘þ¦f,›ffSurv“eys˜and˜CriticismŽŸq‹‘sç¹The–œœmost“frequenš²!tly“cited“papMÞer“adv˜ošMÞcating“self-stabilization“is“Lamp˜ort's“in²!vited“addressŽ¡‘sç[Lam84Ž‘ dÐ].‘‡WAdv‘ÿdDanš²!tages–¢Ôof“self-stabilization“are“men˜tioned“in“a“large“n˜um˜bšMÞer“of“pap˜ers“con²!tainedŽ¡‘sçin–;the“bibliograph•²!y;‘^Ít“w“o›;recen“t˜promotions˜of˜the˜topic˜are˜[Gou95Ž‘á,˜Deb95Ž‘!~¾].‘ºThe˜surv“eys˜andŽ¡‘sçinš²!troMÞductory–¦farticles“[Sc˜h93bŽ‘!Ã5,“FDG94Ž‘&´Œ,“T‘ÿeel94aŽ‘"ú«,“WH95Ž‘"]“also“adv˜oMÞcate“self-stabilization.Ž¦‘sçSevš²!eral–0authors“tak˜e“a“critical“view“of“self-stabilization“[JT90Ž‘|F,“BG95Ž‘S¼],‘bho˜w˜ev˜er“it“should“bMÞeŽ¡‘sçnoted–b­that“one“aspMÞect“of“self-stabilization,‘‘¾that“a“system“\ev•²!en“tually"›b­reac“hes˜a˜legitimateŽ¡‘sçstate–'üor“bMÞeha²!vior,‘ADis“seen“with“increasing“frequency“in“the“literature“of“distributed“computingŽ¡‘sç[CT91Ž‘ÄF]–¨K(manš²!y“recen˜t“papMÞers“could“as“w˜ell“bšMÞe“cited,‘èÄbut“they“are“outside“the“scop˜e“of“theŽ¡‘sçbibliograph²!y).ŽŽŸsç’ö9_2ŽŽŒ‹ S ŽiÒ ýŽ  U‚ ýµ}ü‘sçÆ4Ž‘4À²RingsŽŸêÆ‘sç¹The–bþring“topšMÞology‘ÿe,‘pzuseful“and“b˜elo•²!v“ed–bþin“general“for“distributed“computing“and“net•²!w“ork‘bþpro-Ž¤ ™š‘sçtošMÞcols,‘Áis–ò¯the“starting“p˜oinš²!t“for“man˜y“of“the“bibliograph˜y's“en˜tries.‘·Citations“in“this“sectionŽ¡‘sçare–"ånot“comprehensivš²!e,‘=2but“are“referenced“here“for“lac˜k“of“a“bMÞetter“categorization.‘²The“exam-Ž¡‘sçple–æýof“a“ring“has“bMÞeen“used“to“illustrate“tecš²!hniques“for“self-stabilization,‘÷"to“sho˜w“systematicŽ¡‘sçmethošMÞdology–Ÿ~for“devising“self-stabilizing“programs,‘ àto“discriminate“b˜et•²!w“een›Ÿ~di eren“t˜moMÞdelsŽ¡‘sçof–¦fcomputation“and“assumptions“abšMÞout“async•²!hron“y–¦fand“failure“mo˜des.Ž©Õ‘sçScalabilitš²!y–is“a“fundamen˜tal“theme“of“distributed“system“and“net˜w˜orking“researc˜h,‘9Œand“oneŽ¡‘sçaspMÞect–lof“scalabilitš²!y“is“the“space“requiremen˜t“for“protoMÞcols.‘Ö5F‘ÿeor“instance,‘”w˜e“generally“preferŽ¡‘sçprotoMÞcols–@with“constanš²!t“space“o˜v˜er“those“that“ha˜v˜e“memory“requiremen˜ts“propMÞortional“to“theŽ¡‘sçsize–RŽof“the“net•²!w“ork.‘ÁëThe–RŽquestion“of“space“requiremenš²!ts“for“self-stabilizing“programs“w˜as“oneŽ¡‘sçof–÷Hthe“earliest“questions“and“con•²!tin“ues–÷Hto“bšMÞe“of“in•²!terest.‘ЄF‘ÿeollo“wing–÷Hthe“initial“pap˜er“[Dij74Ž‘³¾],Ž¡‘sçthe–¤question“of“minimizing“space“wš²!as“further“tak˜en“up“in“[HK85Ž‘­á]“and“then“subsequen˜tly“inŽ¡‘sç[GH96Ž‘ÁX,‘ó˜FD94Ž‘j,‘ó˜BD95aŽ‘%W].‘ÅtIs–ó˜uniform“deterministic“self-stabilizing“m²!utual“exclusion“pMÞossibleŽ¡‘sçin–+Trings?‘ l¨What“abMÞout“other“tasks“sucš²!h“as“leader“election,‘Œring“orien˜tation,‘Œand“iden˜tit˜yŽ¡‘sçassignmen•²!t?‘ä Suc“h–¨uissues“are“topics“in“[BP89bŽ‘ =á,“LG91Ž‘ g,“Hua93Ž‘"a,“IJ93Ž‘0v,“WH94aŽ‘'Œ¼,“WH94bŽ‘((x,“HoMÞe94Ž‘!wf,Ž¡‘sçHoMÞe98Ž‘:BØ,‘&)NMT94Ž‘*Aè,‘&)TH95Ž‘ 8M,‘&)HR96Ž‘ _<,‘&)MO²!Y96Ž‘*Æ,‘&)IJ90aŽ‘'Ä,‘&)BDK96Ž‘(¼”,‘&)UKY98Ž‘) q,‘&)BGJ99Ž‘&>].‘ ]&In–&)some“cases,Ž¡‘sça–¶]probabilistic“algorithms“pro²!vide“uniform“solutions“to“these“tasks“[IJ90bŽ‘W,“Her90Ž‘!Â,“Her92aŽ‘&\,Ž¡‘sçBD94Ž‘7† ,‘L;BCD95Ž‘&Fé,‘L;ILS95Ž‘! ,‘L;KY95Ž–ú,‘L;KY97Ž“,‘L;YB95Ž‘7q],‘^Cwith–L;other“factors“sucš²!h“as“kno˜wledge“of“the“ringŽ¡‘sçsize,‘c¯the›Sa•²!v‘ÿdDailabilit“y˜of˜un“bMÞounded˜v‘ÿdDariables,‘c¯primalit“y˜of˜the˜ring˜size,‘c¯and˜v‘ÿdDarious˜atomicit“yŽ¡‘sçassumptions–Ýé[Bur87Ž‘]“pla²!ying“a“role“in“the“algorithm“design.‘› Dijkstra's“initial“papšMÞer“asso˜ciatedŽ¡‘sça–¾\privilege"“with“enabledness“of“a“guarded“command,‘'ybut“the“usual“inš²!terpretation“of“m˜utualŽ¡‘sçexclusion–½“motiv‘ÿdDates“the“notion“of“a“tokš²!en“(in uenced“b˜y“tok˜en“ring“comm˜unication“protoMÞcols);Ž¡‘sçthis–¦fwš²!as“ rst“observ˜ed“in“[BGW87Ž‘&ž,“BGW89Ž‘*4].Ž¦‘sçOther–,‰problems“considered“in“the“conš²!text“of“ring“arc˜hitectures“include“load“balancing“[KB87Ž‘9]Ž¡‘sç(see–…[FD93bŽ‘ ‹¿,“A²!G95Ž‘‡þ,“GP99Ž‘2]“for“more“w²!ork“on“load“balancing),‘1²the“dining“philosopher“problemŽ¡‘sç[HP92Ž‘W],‘ÁPand–ˆ»mš²!ultiple“tok˜en“systems“[FDS94Ž‘ ‹¿].‘„ÛThe“ring“topMÞology“is“enric˜hed“b˜y“additionalŽ¡‘sçcommš²!unication–:links“in“[Gho91aŽ‘$“{]“to“reduce“the“state“space“and“in“[BB95Ž‘vj]“to“tolerate“fault˜yŽ¡‘sçno•MÞdes.‘Å‹The›žKpap“er˜[GE90Ž‘þ­]˜presen²!ts˜a˜proto“col˜with˜parameters˜for˜tok²!en˜and˜stabilizationŽ¡‘sçpMÞerformance.‘Ô]In–‰æ[LS92bŽ‘õá]“it“is“shoš²!wn“that“an“observ˜er“outside“the“ring“can“deduce“legitimacyŽ¡‘sçfor–¦fthe“system“state“faster“than“the“w²!orst-case“stabilization“time.ŽŸ'¹ó‘sçÆ5Ž‘4À²T‘þ¦frees–ffand“GraphsŽŸêÆ‘sç¹The–ÂcpapšMÞer“[Dij74Ž‘³¾]“presen²!ts,‘ïþin“addition“to“the“ring“top˜ology‘ÿe,‘ïþa“proto˜col“for“a“cš²!hain“of“mac˜hinesŽ¡‘sç(and–1a“fošMÞotnote“suggests“generalizations“of“the“ring“structure).‘¶ÃIn“[Kru79Ž‘Ö¼]“the“c²!hain“top˜ologyŽ¡‘sçis–ª¶generalized“to“a“tree“in“whicš²!h“tok˜en“activit˜y“resem˜bles“the“distributed“computation“foundŽ¡‘sçin–ötermination“detection“algorithms“(suc²!h“as“the“di using“computation“paradigm).‘̬MoreŽ¡‘sçrecen•²!tly‘ÿe,‘ga›Wproblems“ma˜y“not“ha˜v˜e“self-stabilizing“solutions“if“proMÞcessor“names“are“anon˜ymous“orŽ¡‘sçmemory–¦fis“limited“[SRR95Ž‘!'z,“DGS96Ž‘%¤].Ž¦‘sçThe–ýFamounš²!t“of“memory“used“b˜y“a“self-stabilizing“program“can“bMÞe“considered“not“only“fromŽ¡‘sçthe–þ$pMÞoinš²!t“of“view“of“the“w˜orst-case“during“execution,‘Ëbut“instead“one“can“analyze“the“memoryŽ¡‘sçusage–Ÿ"(implicitly)“is“[Dij82aŽ‘-X],‘dand“this“w²!ork“is“furthered“in“[BYC88Ž‘"Ó¿,“BYZ89Ž‘%Új,“YBL91Ž‘&Y,“BY93Ž‘)X].Ž¡‘sçMixed–ÿšforms“of“tolerance“(for“instance“Byzanš²!tine“failures,–æcrashes,“and–ÿštransien˜t“faults)“areŽ¡‘sçconsidered–wãin“[ZB92Ž‘eá,“BB95Ž‘îM,“DH95Ž‘þÔ]“for“spMÞeci c“cases;‘à¢the“ rst“general“theory“for“com²!binedŽ¡‘sçforms–7†of“tolerance“is“presenš²!ted“in“[A˜G93Ž‘sy]“with“a“di eren˜t“approac˜h“giv˜en“in“[GP93Ž‘þ­].‘‘passing“messages.‘ˆdEvš²!en“database“transactions“ha˜v˜e“bMÞeen“view˜ed“in“terms“of“stabilizationŽ¡‘sçto–¦fconsistency“[ED98Ž‘ÄF].ŽŽŸsç’ö9_5ŽŽŒ‹<. ŽiÒ ýŽ  U‚ ýµ}ü‘sçÆ10Ž‘<ÚKPros3of‘ffT‘þ¦fecŒÌhniquesŽ©êÆ‘sç¹It–7is“cš²!hallenging,‘[Eat“least“for“a“new˜comer“to“the“ eld,‘[Eto“v˜erify“that“a“program“has“desiredŽ¤ ™š‘sçpropšMÞerties–Óªwhen“nothing“can“b˜e“assumed“ab˜out“the“initial“state“in“an“execution“|“and“thisŽ¡‘sçvš²!eri cation–=Úis“necessary“to“pro˜v˜e“a“self-stabilizing“program“correct.‘ ¤9A‘=qdirect“v˜eri cationŽ¡‘sçfor–³a“program“in“[Dij74Ž›³¾]“is“giv²!en“in“[Dij86Ž˜],‘ö=and“it“is“in²!teresting“to“compare“this“proMÞof“toŽ¡‘sça–=|tempMÞoral“logic“vš²!eri cation“presen˜ted“in“[TW86Ž‘Ï].‘ £ T‘ÿeempšMÞoral“logic“is“also“prop˜osed“as“aŽ¡‘sçv•²!eri cation› ¢tec“hnique˜in˜[LS97Ž‘à‹].‘ªœSelf-stabilization˜proMÞofs˜ha“v“e˜bMÞeen˜carried˜out˜in˜the˜UNITYŽ¡‘sçformalism–Þ [Ric89Ž‘ë5].‘„ÏInstead“of“a“direct“proMÞof“that“a“self-stabilizing“program“has“the“requiredŽ¡‘sçpropMÞertš²!y–)?of“con˜v˜ergence“to“legitimacy“from“an“arbitrary“initial“state,‘BGthe“prošMÞof“can“b˜e“brok²!enŽ¡‘sçin²!to–Ñstages“using“the“\staircase"“methošMÞd“prop˜osed“in“[GM91Ž‘”Œ].‘_‚Knš²!uth“[HK85Ž‘­á]“observ˜es“that,Ž¡‘sçrather–ÍXthan“shoš²!wing“con˜v˜ergence,‘øÁone“ma˜y“sho˜w“no“div˜ergen˜t“bMÞeha˜vior“is“pMÞossible“and“thereb˜yŽ¡‘sçpro•²!v“e›šqcon“v“ergence.‘ÙáA‘šnmore˜traditional˜approac“h˜(follo“wing˜standard˜con“v“ergence˜argumen“tsŽ¡‘sçof–Œsequenš²!tial“program“loMÞops)“is“to“use“a“v‘ÿdDarian˜t“function,‘¸Vas“observ˜ed“in“[Kes88Ž‘§ ]“and“usedŽ¡‘sçsince–Šthere“appšMÞears“to“b˜eŽ¡‘sçgroš²!wing–|°appreciation“of“programs“and“services“that“mak˜e“\ev˜en˜tualit˜y"“guaran˜tees“[CT91Ž‘ÄF,Ž¡‘sçF²!GLŸü¾¼+Ž‘x¹96Ž‘DËQ]–p(see“also“[BDDT98Ž‘+X]);‘Tâsucš²!h“w˜ork“ma˜y“o er“new“application“of“self-stabilizationŽ¡‘sçbMÞey•²!ond›÷curren“tly˜recognized˜pMÞoten“tial˜application˜domains˜(comm“unication˜protoMÞcols˜andŽ¡‘sçload-balancing).‘’gThe–â”papMÞer“[AK95Ž‘­á]“shoš²!ws“ho˜w“self-stabilization“can“bMÞe“useful“ev˜en“in“fault-Ž¡‘sçtoleranš²!t–Qesystems“with“more“stringen˜t“requiremen˜ts“than“what“stabilization“itself“pro˜vides.‘ÁˆInŽ¡‘sçaddition–†to“self-stabilization,‘5there“are“other“w•²!a“ys–†of“dealing“with“transien²!t“faults“or“initialŽ¡‘sçstates–›that“are“somewhat“(but“not“completely)“arbitrary“(see“[FMR‘ÿeT90Ž‘+1,“A²!GMT95Ž‘1-,“TKM89Ž‘).,Ž¡‘sçP²!ac91Ž‘8äp]–b²for“example).‘ÇLIndeed,‘pof“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ç[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ç’ó|’12ŽŽŒ‹ • ŽiÒ ýŽ  U‚ ýµ}ü‘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ç[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ç’ó|’13ŽŽŒ‹£ ŽiÒ ýŽ  U‚ ýµ}ü‘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Ž¡‘_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ç’ó|’14ŽŽŒ‹±q ŽiÒ ýŽ  U‚ ýµ}ü‘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.Ž©hè‘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ç[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.Ž¦‘sç[BDDN95]ŽŽ‘_7ªB–iBourgon,›MCC˜T‘ÿ)e–ÿp¹chnic“alŽ¡‘_7ªR–ÿp¹ep“ort–êêNo.“STP-379-89¹,‘¦f1989.Ž¦‘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ç’ó|’17ŽŽŒ‹Ù+ ŽiÒ ýŽ  U‚ ýµ}ü‘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ç[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ç’ó|’18ŽŽŒ‹å” ŽiÒ ýŽ  U‚ ýµ}ü‘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ç[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ç[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ç’ó|’21ŽŽŒ‹ è ŽiÒ ýŽ  U‚ ýµ}ü‘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ç[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ç’ó|’22ŽŽŒ‹Z ŽiÒ ýŽ  U‚ ýµ}ü‘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ç’ó|’23ŽŽŒ‹( ŽiÒ ýŽ  U‚ ýµ}ü‘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ç[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ç’ó|’24ŽŽŒ‹5i ŽiÒ ýŽ  U‚ ýµ}ü‘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ç[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ç’ó|’25ŽŽŒ‹Aà ŽiÒ ýŽ  U‚ ýµ}ü‘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ç[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ç’ó|’26ŽŽŒ‹O" ŽiÒ ýŽ  U‚ ýµ}ü‘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ç[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.Ž¦‘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ç’ó|’27ŽŽŒ‹\ ŽiÒ ýŽ  U‚ ýµ}ü‘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ç[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ç’ó|’28ŽŽŒ‹iÙ ŽiÒ ýŽ  U‚ ýµ}ü‘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ç[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ç’ó|’29ŽŽŒ‹vl ŽiÒ ýŽ  U‚ ýµ}ü‘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ç[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ç’ó|’30ŽŽŒ‹ƒB ŽiÒ ýŽ  U‚ ýµ}ü‘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ç[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ç’ó|’31ŽŽŒ‹ ¸ ŽiÒ ýŽ  U‚ ýµ}ü‘sç¹[Her90]ŽŽ‘_7ªT–X¼Herman.› éProbabilistic“self-stabilization.˜ÊInformation›z€Pr–ÿp¹o“c“essing˜L“etters¹,Ž¤ ™š‘_7ª35:63{67,‘¦f1990.Ž©w‘sç[Her92a]ŽŽ‘_7ªT–ýHerman.›YSelf-stabilization:‘· randomness“to“reduce“space.˜ÊDistribute‘ÿp¹d‘NÑCom-Ž¡‘_7ªputing¹,–¦f6:95{98,“1992.Ž¦‘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ç’ó|’32ŽŽŒ‹!M ŽiÒ ýŽ  U‚ ýµ}ü‘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.Ž©hè‘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ç’ó|’42ŽŽŒ‹+ § Ž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ç’ó|’43ŽŽŒ‹,-¨ Ž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ç’ó|’44ŽŽŒ‹-:ð Ž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ç’ó|’45ŽŽŒ‹.H“ Ž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ç’ó|’46ŽŽŒ‹/Vc Ž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ç’ó|’47ŽŽŒ‹0cb Ž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ç’ó|’48ŽŽŒ‹1q! Ž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ç’ó|’49ŽŽŒø~•ƒ’À;èŽiÒÕxp1óý': ó3 cmti10óò"V ó3 cmbx10ó!",š ó3 cmsy10ó  b> ó3 cmmi10óÂÖN ff cmbx12óò"V cmbx10ó|{Ycmr8óX«Q cmr12óDÓítG®G®cmr17óKñ`y ó3 cmr10óKñ`y cmr10ù€Üßßßßß