Modeling and Verification of Parallel Processes 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures - Cassez, Franck; Cassez, Franck; Jard, Claude; Jard, Claude; Rozoy, Brigitte; Rozoy, Brigitte; Ryan, Mark D.; Ryan, Mark D. (Springer Berlin Heidelberg : Imprint: Springer, 2001)