TY  - BOOK
AU  - Baeten,J.C.M.
AU  - Basten,T.
AU  - Reniers,M.A.
TI  - Process algebra: equational theories of communicating processes
SN  - 9780521820493 (Hbk)
AV  - QA267 .B33 1990
U1  - 004.0151 B145P 23
PY  - 2010///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Machine theory
KW  - Process algebra
KW  - Parallel processing (Electronic computers)
KW  - Communication process
N1  - Includes bibliographical references and indexes
ER  -