Title: Specification and verification of concurrent systems
Subjects: Parallel processing (Electronic computers), Congresses