TY  - BOOK
AU  - Baeten,J.C.M.
AU  - Weijland,W.P.
TI  - Process algebra
T2  - Cambridge tracts in theoretical computer science
SN  - 9780511624193 (ebook)
AV  - QA267 .B33 1990
U1  - 511.3 20
PY  - 1990///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Machine theory
KW  - Parallel processing (Electronic computers)
N1  - Title from publisher's bibliographic system (viewed on 05 Oct 2015)
N2  - 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
UR  - https://doi.org/10.1017/CBO9780511624193
ER  -