The following pages link to Probabilistic self-stabilization (Q911752):
Displayed 34 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)
- Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← 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)
- 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)
- 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)
- 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)
- (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)
- Deterministic, constant space, self-stabilizing leader election on uniform rings (Q6084563) (← links)
- Parameter synthesis in Markov models: a gentle survey (Q6113987) (← links)