Pages that link to "Item:Q2283837"
From MaRDI portal
The following pages link to Computing fault-containment times of self-stabilizing algorithms using lumped Markov chains (Q2283837):
Displaying 6 items.
- Combining decomposition and reduction for state space analysis of a self-stabilizing system (Q394332) (← links)
- On the expected time for Herman's probabilistic self-stabilizing algorithm (Q817822) (← links)
- Timer-based composition of fault-containing self-stabilizing protocols (Q985053) (← links)
- Parallel composition for time-to-fault adaptive stabilization (Q1954229) (← links)
- Monotonic self-stabilization and its application to robust and adaptive pattern formation (Q2089064) (← links)
- Exact Computation of Maximal Invariant Sets for Safe Markov Chains—Lattice Theoretic Approach (Q6077684) (← links)