The following pages link to Probabilistic self-stabilization (Q911752):
Displaying 49 items.
- Randomized uniform self-stabilizing mutual exclusion (Q294769) (← links)
- Bounds on Herman's algorithm (Q401316) (← links)
- A nearly optimal upper bound for the self-stabilization time in Herman's algorithm (Q498668) (← links)
- Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures (Q555315) (← links)
- Probabilistic communicating processes (Q672230) (← links)
- Randomization adaptive self-stabilization (Q707595) (← links)
- Analysis of toggle protocols (Q757017) (← links)
- On the expected time for Herman's probabilistic self-stabilizing algorithm (Q817822) (← links)
- Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← links)
- An elementary proof that Herman's ring is \(\Theta (N^{2})\) (Q1041727) (← links)
- An exercise in proving self-stabilization with a variant function (Q1115172) (← links)
- Binary self-stabilization in distributed systems (Q1183462) (← links)
- A self-stabilizing algorithm for maximal matching (Q1199938) (← links)
- Self-stabilization: Randomness to reduce space (Q1200915) (← links)
- Self-stabilizing ring orientation using constant space (Q1271475) (← links)
- Self-stabilization over unreliable communication media (Q1310565) (← links)
- Self-stabilization of circular arrays of automata (Q1566959) (← links)
- A self-stabilizing enumeration algorithm. (Q1853019) (← links)
- The stabilizing token ring in three bits (Q1923395) (← links)
- Probabilistic verification of Herman's self-stabilisation algorithm (Q1941879) (← links)
- Three tokens in Herman's algorithm (Q1941880) (← links)
- Coupling and self-stabilization (Q1953653) (← links)
- The alternator (Q1954228) (← links)
- Studies on algorithms for self-stabilizing communication protocols (Q1975141) (← links)
- Inductive synthesis for probabilistic programs reaches new horizons (Q2044199) (← links)
- Synthesizing optimal bias in randomized self-stabilization (Q2121058) (← links)
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination (Q2182734) (← links)
- On probabilistic snap-stabilization (Q2357149) (← links)
- Uniform self-stabilizing ring orientation (Q2366560) (← links)
- A tighter bound for the self-stabilization time in Herman's algorithm (Q2444741) (← links)
- Self-stabilization (Q2782251) (← links)
- Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
- A Framework for Certified Self-Stabilization (Q2827460) (← links)
- Weak <i>vs.</i> Self <i>vs.</i> Probabilistic Stabilization (Q2947955) (← links)
- On Stabilization in Herman’s Algorithm (Q3012941) (← links)
- Are Parametric Markov Chains Monotonic? (Q3297607) (← links)
- Fair Termination for Parameterized Probabilistic Concurrent Systems (Q3303911) (← links)
- Analysis of Distributed Token Circulation Algorithm with Faulty Random Number Generator (Q3458203) (← links)
- Stochastic self-stabilization (Q4363321) (← links)
- (Q4529575) (← links)
- (Q4603447) (← links)
- EVENTUAL DETERMINISM: USING PROBABILISTIC MEANS TO ACHIEVE DETERMINISTIC ENDS (Q4820140) (← links)
- RANDOMIZED SELF-STABILIZING LEADER ELECTION IN PREFERENCE-BASED ANONYMOUS TREES (Q4902882) (← links)
- Torus orientation (Q5138369) (← links)
- Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols (Q5207910) (← links)
- A SELF-STABILIZING ALGORITHM FOR FINDING ARTICULATION POINTS (Q5248989) (← links)
- Observing self-stabilization (Q5348842) (← links)
- Deterministic, constant space, self-stabilizing leader election on uniform rings (Q6084563) (← links)
- Parameter synthesis for Markov models: covering the parameter space (Q6564178) (← links)
