TY  - BOOK
AU  - Baeten, J. C. M.
TI  - Process algebra : equational theories of communicating processes
SN  - 9780521820493 (hb)
U1  - 004.0151	 
PY  - 2010///
CY  - New York
PB  - Cambridge
KW  - Mathematics
KW  - Equational Algebra
KW  - Parallel processing
KW  - Transition system
KW  - Process theories
KW  - FBSH
N1  - Includes index
ER  -