Baeten, J. C. M., <br/><br/>
Process algebra / 
J.C.M. Baeten and W.P. Weijland. 
 - Cambridge :  Cambridge University Press,  1990. 
 - 1 online resource (248 pages) :  digital, PDF file(s). 
 - Cambridge tracts in theoretical computer science ;  18 .
 - Cambridge tracts in theoretical computer science ;  18. .
<br/><br/> Title from publisher's bibliographic system (viewed on 05 Oct 2015). 
<br/><br/> This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science. 
<br/><br/><label>ISBN: </label>9780511624193 (ebook) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Machine theory.<br/>Parallel processing (Electronic computers)
<br/><br/><label>LC Class. No.: </label>QA267  / .B33 1990 
<br/><br/><label>Dewey Class. No.: </label>511.3