Title: Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Subjects: Machine theory, Parallel processing (Electronic computers)