The following pages link to Probabilistic self-stabilization (Q911752):
Displayed 25 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)
- Probabilistic communicating processes (Q672230) (← links)
- Randomization adaptive self-stabilization (Q707595) (← links)
- On the expected time for Herman's probabilistic self-stabilizing algorithm (Q817822) (← links)
- An elementary proof that Herman's ring is \(\Theta (N^{2})\) (Q1041727) (← 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)
- Probabilistic verification of Herman's self-stabilisation algorithm (Q1941879) (← links)
- Three tokens in Herman's algorithm (Q1941880) (← links)
- Coupling and self-stabilization (Q1953653) (← links)
- On probabilistic snap-stabilization (Q2357149) (← links)
- A tighter bound for the self-stabilization time in Herman's algorithm (Q2444741) (← links)
- Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
- Weak <i>vs.</i> Self <i>vs.</i> Probabilistic Stabilization (Q2947955) (← links)
- On Stabilization in Herman’s Algorithm (Q3012941) (← links)
- Analysis of Distributed Token Circulation Algorithm with Faulty Random Number Generator (Q3458203) (← 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)
- Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols (Q5207910) (← links)
- A SELF-STABILIZING ALGORITHM FOR FINDING ARTICULATION POINTS (Q5248989) (← links)