Title: Specification and analysis of concurrent systems
Subjects: Parallel processing (Electronic computers)