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 -