The following pages link to (Q4436055):
Displaying 8 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)
- Distributed disk-based algorithms for model checking very large Markov chains (Q2431769) (← 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)
