Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures - Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan ((Lecture Notes in Computer Science))