Probabilistic self-stabilization
From MaRDI portal
Publication:911752
DOI10.1016/0020-0190(90)90107-9zbMath0697.68027MaRDI QIDQ911752
Publication date: 1990
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(90)90107-9
Related Items
Unnamed Item, EVENTUAL DETERMINISM: USING PROBABILISTIC MEANS TO ACHIEVE DETERMINISTIC ENDS, RANDOMIZED SELF-STABILIZING LEADER ELECTION IN PREFERENCE-BASED ANONYMOUS TREES, Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols, A SELF-STABILIZING ALGORITHM FOR FINDING ARTICULATION POINTS, Randomized uniform self-stabilizing mutual exclusion, Bounds on Herman's algorithm, A nearly optimal upper bound for the self-stabilization time in Herman's algorithm, Probabilistic communicating processes, Randomization adaptive self-stabilization, On the expected time for Herman's probabilistic self-stabilizing algorithm, An elementary proof that Herman's ring is \(\Theta (N^{2})\), Binary self-stabilization in distributed systems, A self-stabilizing algorithm for maximal matching, Self-stabilization: Randomness to reduce space, Self-stabilizing ring orientation using constant space, Probabilistic verification of Herman's self-stabilisation algorithm, Three tokens in Herman's algorithm, Coupling and self-stabilization, On probabilistic snap-stabilization, A tighter bound for the self-stabilization time in Herman's algorithm, Model Checking Parameterised Multi-token Systems via the Composition Method, Weak vs. Self vs. Probabilistic Stabilization, On Stabilization in Herman’s Algorithm, Analysis of Distributed Token Circulation Algorithm with Faulty Random Number Generator
Cites Work
