TY - BOOK AU - Baeten, J. C. M. TI - Process Algebra: Equational Theories Of Communicating Processes SN - 9780521820493 U1 - 004.0151 PY - 2010/// PB - Cambridge KW - Maths ER -