TY  - BOOK
AU  - Baeten, J. C. M
TI  - Applications of process algebra
SN  - 9780521607506
U1  - 512 BAE 
PY  - 2004///
CY  - Cambridge
PB  - Cambridge Univeristy Press
KW  - Mathematics
N1  - First published 1990.includes index
ER  -