Algos from the book
This directory contains various examples of self-stabilizing distributed programs taken from the book ``Introduction to Distributed Self-Stabilizing Algorithms'' By Altisen, Devismes, Dubois, and Petit.
- : Bread-first-search spanning tree
- : graph coloring
- : Dijkstra token ring
- :
Depth First search
-
contains an ``atomic state model'' version of a
Depth First Search algorithm proposed by Collin and Dolev in 1994
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.57.1100&rep=rep1&type=pdf
rdbg
The following illustrate some possible use of sasa with rdbg on the examples above
- <my-rdbg-tuning.ml>
- <rdbg-utils/dot.ml>