Modeling and verification of parallel processes
Subtitle: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000
By: Franck Cassez ... (eds.)
Contributors: Cassez, Franck, 1967-
Series: Lecture notes in computer science -- 2067
Publisher: Springer
Published: 2001
Place of publication: Berlin; New York
Language: eng
Number of pages: 222
Subjects: Parallel processing (Electronic computers)
Notes: Includes bibliographical references and index.