Process algebra for parallel and distributed processing  [Book] / 
edited by Michael Alexander, William Gardner. 
 - Boca Raton :  CRC Press,  c2009. 
 - xxii, 415 p. :  ill. ;  25 cm. 
 - Chapman & Hall/CRC computational science series .
<br/><br/> "A Chapman & Hall book." 
<br/><br/> All. 
<br/><br/><label>ISBN: </label>142006486X (alk. paper) 9781420064865 (alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Parallel processing (Electronic computers).<br/>Electronic data processing--Distributed processing.<br/>Formal methods (Computer science).
<br/><br/><label>Dewey Class. No.: </label>004.01 51