Title: Modal and Temporal Properties of Processes (Texts in Computer Science)
Subjects: Parallel processing (Electronic computers), Computer logic, Production engineering