scientific article; zbMATH DE number 2006656

zbMath1024.68899MaRDI QIDQ4436055

Claudine Picaronny, Marie Duflot, Laurent Fribourg

Publication date: 23 November 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (7)

Coupling and self-stabilization ⋮ Randomized Dining Philosophers without Fairness Assumption ⋮ Game-Based Probabilistic Predicate Abstraction in PRISM ⋮ Computing fault-containment times of self-stabilizing algorithms using lumped Markov chains ⋮ An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols ⋮ An elementary proof that Herman's ring is \(\Theta (N^{2})\) ⋮ On probabilistic snap-stabilization

This page was built for publication: