TY  - BOOK
AU  - Baeten J.C.M
AU  - Basten T.
AU  - Reniers M.A.
TI  - Process algebra: equational theories of communicating processes
SN  - 9780521820493
U1  - 004.01 BAE B  
PY  - 2010///
CY  - New Delhi
PB  - Cambridge University Press
KW  - Machine theory
KW  - Electronic data processing
N1  - Includes Index and Bibliography
ER  -