Schoone, Anneke A <br/><br/>
Protocols by invariants 
Anneke A. Schoone 
 - 1st pbk. ed 
 - Cambridge  Cambridge University Press  2004 
 - vii, 198 p. : ill. ; 25 cm 
<br/><br/> Includes bibliographical references (p. 191-195) and index 
<br/><br/><label>ISBN: </label>9780521607551 
<br/><br/><label>ISSN: </label>2005279428 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer network protocols<br/>Electronic data processing - Distributed processing<br/>Parallel processing (Electronic computers)
<br/><br/><label>Dewey Class. No.: </label>004.62 SCH