-
A Uniform Self-Stabilizing Minimum Diameter Spanning Tree Algorithm
14 pages; International conférence; Uniform self-stabilizing variant of the problem -
A distributed prime sieving algorithm based on Scheduling by Multiple Edge Re...
11 pages. Special issue : Selected papers from the ISPDC'05 Conference (4th International Symposium on Parallel and Distributed Computing) -
Towards Proved Distributed Algorithms through Refinement, Composition and Loc...
International audience -
Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version)
International audience -
Ideal Stabilization
International audience -
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Mod...
International audience -
Formal and Incremental Construction of Distributed Algorithms: On the Distrib...
The development of distributed algorithms and, more generally, distributed systems, is a complex, delicate and challenging process. Refinement techniques of (system)... -
Fast Genuine Generalized Consensus
International audience -
Allocation adaptative de registres en utilisant un nombre linéaire de registres
International audience -
Tight Bounds for Delay-Sensitive Aggregation
Distributed Computing and Networking
