Self-stabilizing extensions for message-passing systems
From MaRDI portal
Publication:1310564
DOI10.1007/BF02278852zbMath1282.68077WikidataQ56387682 ScholiaQ56387682MaRDI QIDQ1310564
Publication date: 22 November 1995
Published in: Distributed Computing (Search for Journal in Brave)
Related Items (35)
The expressive power of snap-stabilization ⋮ Building self-stabilizing overlay networks with the transitive closure framework ⋮ The triumph and tribulation of system stabilization ⋮ A uniform self-stabilizing minimum diameter spanning tree algorithm ⋮ Self-stabilizing systems in spite of high dynamics ⋮ Tiara: a self-stabilizing deterministic skip list and skip graph ⋮ Preserving stabilization while \textit{practically} bounding state space using incorruptible partially synchronized clocks ⋮ Transient fault detectors ⋮ Self-stabilizing multi-token rings ⋮ Proving convergence of self-stabilizing systems using first-order rewriting and regular languages ⋮ Universal dynamic synchronous self-stabilization ⋮ Self-stabilization of wait-free shared memory objects ⋮ SELF-STABILIZING k-out-of-ℓ EXCLUSION IN TREE NETWORKS ⋮ Snap-stabilization in message-passing systems ⋮ Fast and compact self-stabilizing verification, computation, and fault detection of an MST ⋮ SELF-STABILIZING DEPTH-FIRST MULTI-TOKEN CIRCULATION IN TREE NETWORKS ⋮ Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing ⋮ Deciding and verifying network properties locally with few output bits ⋮ On optimal attraction in discrete-event processes ⋮ Automated constraint-based addition of nonmasking and stabilizing fault-tolerance ⋮ A self-stabilizing transformer for population protocols with covering ⋮ Randomization adaptive self-stabilization ⋮ Empire of colonies: Self-stabilizing and self-organizing distributed algorithm ⋮ Stabilizing maximum matching in bipartite networks ⋮ Optimized silent self-stabilizing scheme for tree-based constructions ⋮ Optimal Broadcast with Partial Knowledge ⋮ Optimal Broadcast with Partial Knowledge ⋮ Stabilizing time-adaptive protocols ⋮ SKIP + ⋮ An optimal self-stabilizing strarvation-free alternator ⋮ A self-stabilizing distributed algorithm to find the median of a tree graph ⋮ A SELF-STABILIZING DISTRIBUTED ALGORITHM TO FIND THE CENTER OF A TREE GRAPH ⋮ Self-stabilization of dynamic systems assuming only read/write atomicity ⋮ An assertional proof of Rana's algorithm ⋮ On probabilistic snap-stabilization
Cites Work
This page was built for publication: Self-stabilizing extensions for message-passing systems
