Bowman, Howard <br/><br/>
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems 

 - London  Springer  2006 
 - xxiv,435p. 
<br/><br/><label>ISBN: </label>9781852338954 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Machine theory
<br/><br/><label>Dewey Class. No.: </label>004.35  / Bow