Process algebra for parallel and distributed processing / 
edited by Michael Alexander, William Gardner 
 - Boca Raton :  CRC Press,  c2009 
 - xxii, 415 p.  ill. ;  25 cm. 
 - Chapman & Hall/CRC computational science series .
 - Chapman & Hall/CRC computational science series .
<br/><br/> "A Chapman & Hall book." 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781420064865 (alk. paper) 142006486X (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)