TY - BOOK AU - Fokkink, Wan TI - Introduction to process algebra SN - 354066579X CY - Berlin, New York KW - Machine theory KW - Parallel processing (Electronic computers) ER -