README.org

* 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.

- file:bfs-spanning-tree : Bread-first-search spanning tree
- file:coloring:  graph coloring 
- file:dijkstra-ring: Dijkstra token ring
- file:unison: 


* Depth First search

- file:dfs

 contains an ``atomic state model'' version of a 
[[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.57.1100&rep=rep1&type=pdf][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

- file:my-rdbg-tuning.ml
- file:rdbg-utils/dot.ml