TY  - BOOK
AU  - Schoone, Anneke A
TI  - Protocols by invariants
SN  - 9780521607551
SN  - 200527942
U1  - 004.62 SCH 
PY  - 2004///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computer network protocols
KW  - Electronic data processing - Distributed processing
KW  - Parallel processing (Electronic computers)
N1  - Includes bibliographical references (p. 191-195) and index
ER  -