TY  - BOOK
AU  - Baeten J C M
TI  - Applications of process algebra
U1  - 004 
PY  - 1990///
CY  - Cambride
PB  - C U P
KW  - Computer applications
KW  - Process algebra
ER  -