Self-Stabilization by Local Checking and Global Reset (Extended Abstract)

No abstract is available for this paper.

• Publication year

  1994

• Venue

  International Workshop on Distributed Algorithms

• Publication date

  1994-09-29

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/BFb0020443
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Computer networks

  2018cited by this paper
• Snapshots : Determining Global States of Distributed Systems

  1999cited by this paper
• Distributed Reset

  1994influential reference
• Self-stabilization by counter flushing

  1994cited by this paper
• Memory-efficient and self-stabilizing network RESET (extended abstract)

  1994cited by this paper
• Memory-eecient and Self-stabilizing Network Reset

  1994cited by this paper
• Time optimal self-stabilizing synchronization

  1993cited by this paper
• Self-stabilization by local checking and correction

  1991influential reference
• Autonet: A High-Speed, Self-Configuring Local Area Network Using Point-to-Point Links

  1991cited by this paper
• Resource bounds for self stabilizing message driven protocols

  1991cited by this paper
• Distributed program checking: a paradigm for building self-stabilizing distributed protocols

  1991cited by this paper
• Automatic reconfiguration in Autonet

  1991cited by this paper
• Self-stabilization of dynamic systems assuming only read/write atomicity

  1990cited by this paper
• Self-stabilizing extensions for message-passing systems

  1990influential reference
• An Introduction to Input/Output Automata

  1989cited by this paper
• A personal communication

  1989cited by this paper
• Uniform self-stabilizing rings

  1988cited by this paper
• Applying static network protocols to dynamic networks

  1987cited by this paper
• Reliable broadcast protocols in unreliable networks

  1986cited by this paper
• Reliable communications

  1986cited by this paper
• An algorithm for distributed computation of a spanningtree in an extended LAN

  1985cited by this paper
• Fault-Tolerant Broadcast of Routing Information

  1983cited by this paper
• The New Routing Algorithm for the ARPANET

  1980cited by this paper
• Resynch Procedures and a Fail-Safe Network Protocol

  1979cited by this paper
• Hierarchical Routing for Large Networks; Performance Evaluation and Optimization

  1977cited by this paper
• Self-stabilizing systems in spite of distributed control

  1974cited by this paper
• Self stabilization in spite of distributed control

  1974cited by this paper
• EXTENDED ABSTRACT Abstract

  year unknowncited by this paper

• Leader Election via Unique Sink Orientation

  2025cites this paper
• Self-Stabilizing Fully Adaptive Maximal Matching

  2024cites this paper
• Self-stabilizing Byzantine-tolerant Recycling

  2023cites this paper
• From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms

  2023cites this paper
• Mending Partial Solutions with Few Changes

  2022cites this paper
• Local certification of MSO properties for bounded treedepth graphs

  2021cites this paper
• Analysis of the Matrix Event Graph Replicated Data Type

  2020cites this paper
• Stabilization, Safety, and Security of Distributed Systems: 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings

  2020cites this paper
• Reactive Pls for Distributed Decision

  2020cites this paper
• Reactive Proof Labeling Schemes for Distributed Decision

  2020cites this paper
• Invited Paper: Reactive PLS for Distributed Decision

  2020cites this paper
• Self-Stabilizing Distributed Cooperative Reset

  2019cites this paper
• Efficient self-stabilizing leader election in population protocols

  2019cites this paper
• Self-stabilizing Systems in Spite of High Dynamics

  2019cites this paper
• Reducing the Number of Messages in Self-stabilizing Protocols

  2019cites this paper
• Introduction to local certification

  2019cites this paper
• Self-Stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems

  2019cites this paper
• Making Randomized Algorithms Self-stabilizing

  2019cites this paper
• Self-Stabilizing Snapshot Objects for Asynchronous Fail-Prone Network Systems

  2019cites this paper
• Deciding and verifying network properties locally with few output bits

  2019cites this paper
• Introduction to Distributed Self-Stabilizing Algorithms

  2019cites this paper
• Self-Stabilizing and Private Distributed Shared Atomic Memory in Seldomly Fair Message Passing Networks

  2018influential citation
• Brief Announcement: Time Efficient Self-stabilizing Stable Marriage

  2018cites this paper
• Local checkability, no strings attached: (A)cyclicity, reachability, loop free updates in SDNs

  2018cites this paper
• Message-Efficient Self-stabilizing Transformer Using Snap-Stabilizing Quiescence Detection

  2018cites this paper
• Structural Information and Communication Complexity

  2018cites this paper
• On the Cost of Waking Up

  2017cites this paper
• Local checkability, no strings attached

  2016cites this paper
• Time Efficient Self-stabilizing Stable Marriage

  2016influential citation
• Les arbres couvrants de la théorie à la pratique. Algorithmes auto-stabilisants et réseaux de capteurs. (Spanning Trees from theory to practice. Self-Stabilizing algorithms and sensor networks)

  2016cites this paper
• Practically stabilizing SWMR atomic memory in message-passing systems

  2015cites this paper
• Certification of Distributed Algorithms Solving Problems with Optimal Substructure

  2015cites this paper
• Self-stabilizing algorithms for graph parameters

  2015cites this paper
• Anonymous distributed computing: computability, randomization and checkability

  2015cites this paper
• SKIP+: A Self-Stabilizing Skip Graph

  2014cites this paper
• Fast and Compact Distributed Verification and Self-stabilization of a DFS Tree

  2014cites this paper
• Scalable fault-containing self-stabilization in dynamic networks

  2014cites this paper
• IMPEMENTATION AND EXPERIMENTAL EVALUATION OF A SELF - STABILIZING ATOMIC READ / WRITE REGISTER SERVICE

  2014cites this paper
• Local Decision and Verification with Bounded-Size Outputs

  2013cites this paper
• Towards a complexity theory for local distributed computing

  2013cites this paper
• Automated design of self-stabilization

  2012cites this paper
• Self-stabilizing overlay networks

  2012cites this paper
• Time- and space-efficient self-stabilizing algorithms

  2012cites this paper
• A self-stabilizing transformer for population protocols with covering

  2011cites this paper
• Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems

  2011cites this paper
• Fast and compact self-stabilizing verification, computation, and fault detection of an MST

  2011cites this paper
• Lightweight Methods for Automated Design of Self-Stabilization

  2011cites this paper
• Local Distributed Decision

  2010cites this paper
• Low Communication Self-stabilization through Randomization

  2010cites this paper
• Self-stabilizing algorithms

  2010cites this paper
• Monotonic Stabilization

  2010cites this paper
• Distributed error confinement

  2010cites this paper
• Self-stabilizing group membership protocol

  2010cites this paper
• Fault‐Tolerant Distributed Algorithms for Scalable Systems

  2010cites this paper
• Making Population Protocols Self-stabilizing

  2009cites this paper
• Self-stabilizing protocol for anonymous oriented bi-directional rings under unfair distributed schedulers with a leader

  2008cites this paper
• Communication Efficiency in Self-Stabilizing Silent Protocols

  2008cites this paper
• On Time Adaptivity and Stabilization

  2008cites this paper
• Snap-stabilization and PIF in tree networks

  2007cites this paper
• A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock

  2007cites this paper
• Transposition automatique des algorithmes sur des systemes distribués et dynamiques

  2007cites this paper
• Vers l'auto-stabilisation des systèmes à grande échelle. (Toward self-stabilizing large-scale systems)

  2006cites this paper
• Stabilizing reconfiguration in wireless sensor networks

  2006cites this paper
• On Distributed Verification

  2006cites this paper
• On reliable and scalable management of wireless sensor networks

  2006cites this paper
• Observer la stabilisation

  2005cites this paper
• Proof labeling schemes

  2005cites this paper
• Adaptive Stabilization of Reactive Protocols

  2004cites this paper
• Autostabilisation et protocoles réseau

  2004cites this paper
• Distributed error confinement

  2003cites this paper
• Self-stabilization with path algebra

  2003cites this paper
• A lower bound on dynamic k-stabilization in asynchronous systems

  2002cites this paper
• Distributed Error Confinement Extended

  2002cites this paper
• Self-stabilizing interval routing algorithm with low stretch factor

  2001influential citation
• Self-stabilization with r-operators

  2001cites this paper
• Fault-Tolerant and Self-Stabilizing Protocols Using an Unreliable Failure Detector

  2000cites this paper
• SELF-STABILIZATION IN DISTRIBUTED SYSTEMS – A SHORT SURVEY

  2000cites this paper
• Optimal reactive k-stabilization: the case of mutual exclusion

  1999cites this paper
• Stabilizing Time-Adaptive Protocols

  1999cites this paper
• An exercise in proving convergence through transfer functions

  1999cites this paper
• State-optimal snap-stabilizing PIF in tree networks

  1999cites this paper
• Transient fault detectors

  1998cites this paper
• k-stabilization of reactive tasks

  1998cites this paper
• Time-adaptive self stabilization

  1997cites this paper
• Local stabilizer

  1997cites this paper
• The Local Detection Paradigm and Its Application to Self-Stabilization

  1997cites this paper
• Adaptive distributed sorting

  1996cites this paper
• Scalable Fault Tolerance

  1996cites this paper
• A self-stabilizing ranking algorithm for tree structured networks

  1995cites this paper
• A Uniform Self-Stabilizing Minimum Diameter Tree Algorithm (Extended Abstract)

  1995cites this paper
• Tight fault locality

  1995cites this paper
• Tight Fault Locality (Extended Abstract)

  1995cites this paper
• Fault-local distributed mending (extended abstract)

  1995cites this paper
• A self-stabilizing distributed maximum flow algorithm

  1995cites this paper
• The Local Detection Paradigm for Self Stabilization

  1994cites this paper
• 1 2 1 the Wave Algorithms as a Self-stabilizing Control Structure

  year unknowncites this paper