004.35  / B684c <br/>
Bowman, Howard <br/>
       Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems 
 / Howard Bowman and Rodolfo Gomez 
 .- London: Springer,  2006 
 .- xxiv, 435p . 
<br><u>ISBN:</u> 9781852338954 
<br/><u>Subject Headings:</u> <br/>LOTOS (Computer program language);<br/>Machine theory;<br/>Parallel processing (Electronic computers)--Mathematical models;
<br/><U>Author Added Entry: </u><br/>Gomez, Rodolfo;
<br><U>Copy Details:</u><br> Acc. No.: <b>A175230</b>, Full Call No.: 004.35 B684c,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>