Self-stabilization of dynamic systems assuming only read/write atomicity
From MaRDI portal
Publication:1310562
DOI10.1007/BF02278851zbMath1282.68084WikidataQ105838170 ScholiaQ105838170MaRDI QIDQ1310562
Shlomo Moran, Shlomi Dolev, Amos Israeli
Publication date: 22 November 1995
Published in: Distributed Computing (Search for Journal in Brave)
Related Items (55)
Error-detecting codes and fault-containing self-stabilization ⋮ Randomized uniform self-stabilizing mutual exclusion ⋮ On self-stabilizing wait-free clock synchronization ⋮ Distributed edge coloration for bipartite networks ⋮ Proof labeling schemes ⋮ Greedy distributed optimization of multi-commodity flows ⋮ The local detection paradigm and its applications to self-stabilization ⋮ On the computational power of self-stabilizing systems ⋮ A self-stabilizing algorithm for the st-order problem ⋮ Fault tolerant network constructors ⋮ A uniform self-stabilizing minimum diameter spanning tree algorithm ⋮ Self-stabilizing systems in spite of high dynamics ⋮ A self-stabilizing algorithm for the median problem in partial rectangular grids and their relatives ⋮ Stabilizing data-link over non-FIFO channels with optimal fault-resilience ⋮ Self-stabilizing minimum degree spanning tree within one from the optimal degree ⋮ Analysis of a memory-efficient self-stabilizing BFS spanning tree construction ⋮ An efficient fault-containing self-stabilizing algorithm for the shortest path problem ⋮ Snap-stabilization and PIF in tree networks ⋮ Parallel composition for time-to-fault adaptive stabilization ⋮ Transient fault detectors ⋮ Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings ⋮ When consensus meets self-stabilization ⋮ Efficient self-stabilizing algorithms for minimal total \(k\)-dominating sets in graphs ⋮ Self-stabilizing multi-token rings ⋮ A self-stabilizing algorithm for the maximum flow problem ⋮ Self-stabilizing token circulation in uniform networks ⋮ Self-stabilizing depth-first token circulation in arbitrary rooted networks ⋮ Self-stabilization with r-operators ⋮ Torus orientation ⋮ A self-stabilizing quorum-based protocol for maxima computing ⋮ Self-stabilization of wait-free shared memory objects ⋮ A survey on self-stabilizing algorithms for independence, domination, coloring, and matching in graphs ⋮ Maximum metric spanning tree made Byzantine tolerant ⋮ Fast and compact self-stabilizing verification, computation, and fault detection of an MST ⋮ SELF-STABILIZING DEPTH-FIRST MULTI-TOKEN CIRCULATION IN TREE NETWORKS ⋮ RANDOMIZED SELF-STABILIZING LEADER ELECTION IN PREFERENCE-BASED ANONYMOUS TREES ⋮ Self-stabilizing silent disjunction in an anonymous network ⋮ Improved self-stabilizing algorithms for \(L(2, 1)\)-labeling tree networks ⋮ A self-stabilizing algorithm for the shortest path problem assuming read/write atomicity ⋮ A fault-containing self-stabilizing \((3-\frac 2{\varDelta+1})\)-approximation algorithm for vertex cover in anonymous networks ⋮ Timer-based composition of fault-containing self-stabilizing protocols ⋮ A self-stabilizing algorithm for the center-finding problem assuming read/write separate atomicity ⋮ Snap-Stabilizing Waves in Anonymous Networks ⋮ Self-stabilizing \(\ell\)-exclusion ⋮ Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model ⋮ Self-stabilizing ring orientation using constant space ⋮ A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments ⋮ Quasi-self-stabilization of a distributed system assuming read/write atomicity ⋮ A New Polynomial Silent Stabilizing Spanning-Tree Construction Algorithm ⋮ Stabilizing time-adaptive protocols ⋮ Self-stabilizing depth-first token circulation on networks ⋮ New Self-Stabilizing Algorithms for Minimal Weakly Connected Dominating Sets ⋮ SELF-STABILIZING PROTOCOL FOR MUTUAL EXCLUSION AMONG NEIGHBORING NODES IN A TREE STRUCTURED DISTRIBUTED SYSTEM ⋮ A self-stabilizing algorithm for the shortest path problem assuming the distributed demon ⋮ Self-stabilization with path algebra
Cites Work
- Unnamed Item
- A belated proof of self-stabilization
- Self-stabilization (in spite of distributed control) in tree-structured systems
- Self-stabilizing extensions for message-passing systems
- Uniform self-stabilizing ring orientation
- Self-stabilizing systems in spite of distributed control
- A correctness proof of a topology information maintenance protocol for a distributed computer network
This page was built for publication: Self-stabilization of dynamic systems assuming only read/write atomicity
