TY  - BOOK
AU  - J. A. Bergstra,A. Ponse,S. A. Smolka
AU  - Smolka,S. A.
TI  - HANDBOOK OF PROCESS ALGEBRA
SN  - 0444828303
U1  - 511.3 
PY  - 2001///
CY  - 
PB  - Elsevier, Amsterdam
KW  - Machine Theory
KW  - Parallel Processing (Electronic Computers)
N1  - Includes Bibliographical References And Index
ER  -