Bowman, Howard. <br/><br/>
Concurrency Theory  Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /  [electronic resource] : 
by Howard Bowman, Rodolfo Gomez. 
 - London :  Springer-Verlag London Limited,  2006. 
 - xxiv, 435 p. :  ill., digital ;  25 cm. 
<br/><br/><label>ISBN: </label>9781846283369 (electronic bk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Parallel processing (Electronic computers)--Mathematical models.<br/>Machine theory.<br/>LOTOS (Computer program language)<br/>Computer Science.<br/>Software Engineering.<br/>Logics and Meanings of Programs.
<br/><br/><label>LC Class. No.: </label>QA76.58  / .B69 2006 
<br/><br/><label>Dewey Class. No.: </label>004.015113