A proof of protocol correctness
Pachl, J.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 28 (1994), p. 213-220 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1994-01-01
@article{ITA_1994__28_3-4_213_0,
     author = {Pachl, J.},
     title = {A proof of protocol correctness},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {28},
     year = {1994},
     pages = {213-220},
     zbl = {0883.68009},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1994__28_3-4_213_0}
}

Pachl, J. A proof of protocol correctness. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 28 (1994) pp. 213-220. http://gdmltest.u-ga.fr/item/ITA_1994__28_3-4_213_0/

1. J. Pachl, Analysis of toggle protocols, Distributed Computing, 1991, 5, pp. 25-35. | Zbl 0723.68016

2. M. Schneider, Self-stabilization, ACM Computing Surveys, 1993, 25, pp. 45-67.

3. D. J. Wheeler, The livelock-free protocol of the Cambridge Ring, The Computer Journal, 1989, 32, p. 95.