Arnold, Andre. <br/><br/>
Finite transition systems :  semantics of communicating systems / 
by Andre Arnold ; translated by John Plaice. 
 - Englewood Cliffs, N.J. :  Prentice Hall,  1994. 
 - vii, 177 p. 
 - Prentice Hall International Series in Computer Science. .
<br/><br/><label>ISBN: </label>0130929905 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Sequential machine theory.