LEADER 06044nam 22008175 450 001 9910143619403321 005 20200705092911.0 010 $a3-540-45438-1 024 7 $a10.1007/3-540-45438-1 035 $a(CKB)1000000000211591 035 $a(SSID)ssj0000326494 035 $a(PQKBManifestationID)11255390 035 $a(PQKBTitleCode)TC0000326494 035 $a(PQKBWorkID)10284185 035 $a(PQKB)11659542 035 $a(DE-He213)978-3-540-45438-0 035 $a(MiAaPQ)EBC3072567 035 $a(PPN)155232231 035 $a(EXLCZ)991000000000211591 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSelf-Stabilizing Systems $e5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings /$fedited by Ajoy K. Datta, Ted Herman 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (VIII, 236 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2194 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42653-1 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aCooperating Mobile Agents and Stabilization -- Cross-Over Composition - Enforcement of Fairness under Unfair Adversary -- Easy Stabilization with an Agent -- Stabilization of Routing in Directed Networks -- Dijkstra?s Self-Stabilizing Algorithm in Unsupportive Environments -- Communication Adaptive Self-Stabilizing Group Membership Service -- (Im)Possibilities of Predicate Detection in Crash-Affected Systems -- The Theory of Weak Stabilization -- On the Security and Vulnerability of PING -- A New Efficient Tool for the Design of Self-Stabilizing ?-Exclusion Algorithms: The Controller -- Self-Stabilizing Agent Traversal -- A Composite Stabilizing Data Structure -- Stabilizing Causal Deterministic Merge -- Fast Self-Stabilizing Depth-First Token Circulation -- On a Space-Optimal Distributed Traversal Algorithm. 330 $aPhysicalsystemswhichrightthemselvesafterbeingdisturbedevokeourcuriosity becausewe wantto understand howsuchsystemsareableto reactto unexpected stimuli. Themechanismsareallthe morefascinatingwhensystemsarecomposed of small, simple units, and the ability of the system to self-stabilize emerges out of its components. Faithful computer simulations of such physical systems exhibit the self-stabilizing property, but in the realm of computing, particularly for distributed systems, wehavegreaterambition. We imaginethat all manner of software, ranging from basic communication protocols to high-level applications, could enjoy self-corrective properties. Self-stabilizing software o?ers a unique, non-traditional approach to the c- cial problem of transient fault tolerance. Many successful instances of modern fault-tolerant networks are based on principles of self-stabilization. Surprisingly, the most widely accepted technical de?nition of a self-stabilizing system does not refer to faults: it is the property that the system can be started in any i- tial state, possibly an ?illegal state,? and yet the system guarantees to behave properly in ?nite time. This, and similar de?nitions, break many traditional approaches to program design, in which the programmer by habit makes - sumptions about initial conditions. The composition of self-stabilizing systems, initially seen as a daunting challenge, has been transformed into a mana- able task, thanks to an accumulation of discoveries by many investigators. - search on various topics in self-stabilization continues to supply new methods for constructing self-stabilizing systems, determines limits and applicability of the paradigm of self-stabilization, and connects self-stabilization to related areas of fault tolerance and distributed computing. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2194 606 $aComputer communication systems 606 $aSoftware engineering 606 $aElectrical engineering 606 $aSpecial purpose computers 606 $aComputers 606 $aAlgorithms 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aCommunications Engineering, Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/T24035 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 615 0$aComputer communication systems. 615 0$aSoftware engineering. 615 0$aElectrical engineering. 615 0$aSpecial purpose computers. 615 0$aComputers. 615 0$aAlgorithms. 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aCommunications Engineering, Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputation by Abstract Devices. 615 24$aAlgorithm Analysis and Problem Complexity. 676 $a005.1/4 700 $aWSS 2001$f(2001 :$cLisbon, Portugal)$01231938 702 $aDatta$b Ajoy K$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHerman$b Ted$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143619403321 996 $aSelf-Stabilizing Systems$92860498 997 $aUNINA