Title: Process algebra
Subjects: Machine theory, Parallel processing (Electronic computers), Computer science, mathematics