France) MOVEP 2000 (2000 Nantes

• Modeling and verification of parallel processes