TY - BOOK AU - Baeten,J.C.M. TI - Applications of process algebra SN - 0521400287 : U1 - 512 PY - 1990/// CY - Cambridge PB - The University Press KW - Algebra KW - Parallel processing (Electronic computers) KW - Computer science KW - Mathematics N1 - Includes bibliographical references and index ER -