Title: Modeling and verification of parallel processes
First published: 2001
Subjects: Parallel processing (Electronic computers), Information theory, Computer science, Software engineering, Parallel processing (electronic computers)
LC classification: QA76.5 .M69 2000