A proof of protocol correctness
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1994)
- Volume: 28, Issue: 3-4, page 213-220
- ISSN: 0988-3754
Access Full Article
top
How to cite
topPachl, J.. "A proof of protocol correctness." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 28.3-4 (1994): 213-220. <http://eudml.org/doc/92476>.
@article{Pachl1994,
author = {Pachl, J.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {medium access protocol; transient transmission errors},
language = {eng},
number = {3-4},
pages = {213-220},
publisher = {EDP-Sciences},
title = {A proof of protocol correctness},
url = {http://eudml.org/doc/92476},
volume = {28},
year = {1994},
}
TY - JOUR
AU - Pachl, J.
TI - A proof of protocol correctness
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1994
PB - EDP-Sciences
VL - 28
IS - 3-4
SP - 213
EP - 220
LA - eng
KW - medium access protocol; transient transmission errors
UR - http://eudml.org/doc/92476
ER -
References
top- 1. J. PACHL, Analysis of toggle protocols, Distributed Computing, 1991, 5, pp. 25-35. Zbl0723.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.
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.