TY  - BOOK
AU  - Baeten J C M
AU  - Middelburg C A
TI  - Process algebra with timing
SN  - 3-540-43447-X
U1  - 003.8 
PY  - 2002///
CY  - Berlin
PB  - Springer-Verlag
KW  - Communicating processes
KW  - Processes(algebra)
ER  -