TY - BOOK AU - Baeten, J. C. M. AU - Weijland, W. P. TI - Process algebra T2 - Cambridge tracts in theoretical computer science 18 SN - 0521400430 U1 - 512 PY - 1990/// CY - Cambridge PB - Cambeige University Press ER -