Title: Modeling and verification of parallel processes
Subjects: Parallel processing (Electronic computers)