Lam, Simon S Shankar, A. Udaya <br/><br/>
A Relational Notation  for  State Transition Systems 

 - 755-775 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Auxiliary<br/>Communication Protocols<br/>Refinement