Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams

Dominique Cansell, Dominique Méry, Stephan Merz

Abstract

Available as:  PDF

Reference

@InProceedings{cansell:self-stabilizing,
  author = 	 {Dominique Cansell and Dominique M{\'e}ry 
             and Stephan Merz},
  title = 	 {Formal Analysis of a Self-Stabilizing
      Algorithm Using Predicate Diagrams},
  booktitle = 	 {Workshop Integrating Diagrammatic and
                  Formal Specification Techniques
                  (GI-/{\"O}CG-Jahrestagung)},
  pages =	 {39--45},
  year =	 2001,
  editor =	 {Martin Wirsing},
  volume =	 {157/I},
  series =	 {books@ocg.at},
  address =	 {Vienna, Austria}
}