TY - BOOK AU - Fokkink, Wan TI - Introduction to process algebra T2 - Brauer, W. SN - 9783540665793 U1 - 512 F689i PY - 2000/// CY - Berlin PB - Springer-Verlag KW - Machine theory KW - Parallel processing (Electronic computers) ER -