Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams.

Dominique Cansell, Dominique Mry, Stephan Merz

Browse the full GI paper archive.