Recommendations
Cites work
Cited in
(50)- Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures
- Fair termination for parameterized probabilistic concurrent systems
- EVENTUAL DETERMINISM: USING PROBABILISTIC MEANS TO ACHIEVE DETERMINISTIC ENDS
- Bounds on Herman's algorithm
- Model checking finite-horizon Markov chains with probabilistic inference
- Probabilistic verification of Herman's self-stabilisation algorithm
- A self-stabilizing enumeration algorithm.
- Parameter synthesis for Markov models: covering the parameter space
- On the expected time for Herman's probabilistic self-stabilizing algorithm
- Self-stabilizing multi-token rings
- Randomization adaptive self-stabilization
- An elementary proof that Herman's ring is \(\Theta (N^{2})\)
- scientific article; zbMATH DE number 2226803 (Why is no real title available?)
- The alternator
- Self-stabilizing ring orientation using constant space
- A tighter bound for the self-stabilization time in Herman's algorithm
- scientific article; zbMATH DE number 2013825 (Why is no real title available?)
- Randomized uniform self-stabilizing mutual exclusion
- An exercise in proving self-stabilization with a variant function
- On stabilization in Herman's algorithm
- Self-stabilization over unreliable communication media
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- Three tokens in Herman's algorithm
- Coupling and self-stabilization
- Model checking parameterised multi-token systems via the composition method
- A self-stabilizing algorithm for finding articulation points
- Automated synthesis of distributed self-stabilizing protocols
- Observing self-stabilization
- A self-stabilizing algorithm for maximal matching
- On probabilistic snap-stabilization
- Weak vs. self vs. probabilistic stabilization
- Randomized self-stabilizing leader election in preference-based anonymous trees
- Synthesizing optimal bias in randomized self-stabilization
- Are parametric Markov chains monotonic?
- Inductive synthesis for probabilistic programs reaches new horizons
- Distributed Computing
- Deterministic, constant space, self-stabilizing leader election on uniform rings
- Binary self-stabilization in distributed systems
- Torus orientation
- scientific article; zbMATH DE number 1737293 (Why is no real title available?)
- Self-stabilization
- Self-stabilization: Randomness to reduce space
- A nearly optimal upper bound for the self-stabilization time in Herman's algorithm
- Analysis of distributed token circulation algorithm with faulty random number generator
- Probabilistic communicating processes
- Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols
- Coupling and Self-stabilization
- Parameter synthesis in Markov models: a gentle survey
- Stochastic self-stabilization
- scientific article; zbMATH DE number 2036570 (Why is no real title available?)
This page was built for publication: Probabilistic self-stabilization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911752)
