1
Modeling and Verification of Parallel Processes [E-Book] : 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures /