The following pages link to (Q4436055):
Displaying 7 items.
- An elementary proof that Herman's ring is \(\Theta (N^{2})\) (Q1041727) (← links)
- Coupling and self-stabilization (Q1953653) (← links)
- Computing fault-containment times of self-stabilizing algorithms using lumped Markov chains (Q2283837) (← links)
- On probabilistic snap-stabilization (Q2357149) (← links)
- An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols (Q2810974) (← links)
- Randomized Dining Philosophers without Fairness Assumption (Q5138505) (← links)
- Game-Based Probabilistic Predicate Abstraction in PRISM (Q5415661) (← links)
