Modeling and verification of parallel processes 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 - Cassez, Franck (Lecture notes in computer science, 2001)