Simplifying Itai-Rodeh leader election for anonymous rings
From MaRDI portal
Recommendations
Cited in
(6)- Confluence Reduction for Probabilistic Systems
- scientific article; zbMATH DE number 617073 (Why is no real title available?)
- Confluence reduction for Markov automata
- Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size
- Quantitative analysis with the probabilistic model checker PRISM
- A linear process-algebraic format with data for probabilistic automata
This page was built for publication: Simplifying Itai-Rodeh leader election for anonymous rings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848414)