scientific article; zbMATH DE number 2006656

MaRDI QIDQ4436055zbMATH OpenFDO

Authors Marie Duflot, Claudine Picaronny, Laurent Fribourg

Publication date 23 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2180/21800240.htm

Mathematics Subject Classification ID

Distributed systems (68M14) Distributed algorithms (68W15) Randomized algorithms (68W20)

Recommendations

• Coupling and self-stabilization
• Coupling and Self-stabilization
• On the expected time for Herman's probabilistic self-stabilizing algorithm
• Computing and Combinatorics
• Markov chains competing for transitions: application to large-scale distributed systems

Cited in

(13)

• An elementary proof that Herman's ring is \(\Theta (N^{2})\)
• Layered reasoning for randomized distributed algorithms
• Coupling and self-stabilization
• Computing fault-containment times of self-stabilizing algorithms using lumped Markov chains
• On probabilistic snap-stabilization
• Distributed disk-based algorithms for model checking very large Markov chains
• An inductive technique for parameterised model checking of degenerative distributed randomised protocols
• Distributed algorithms in an ergodic Markovian environment
• Markov chains competing for transitions: application to large-scale distributed systems
• Markov chain analysis of self-organizing mobile nodes self-organizing mobile nodes
• Randomized dining philosophers without fairness assumption
• Game-Based Probabilistic Predicate Abstraction in PRISM
• Coupling and Self-stabilization

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4436055)