Title: Formalism in computer system design--models of parallelism and concurrency
Subjects: Computer programming, Design and construction, Electronic digital computers, Study and teaching