Holzmann, Gerard J. <br/><br/>
A Theory  for  Protocol Validation 

 - 730-738 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Distributed Systems<br/>Message Passing<br/>Protocol Analysis