Franck Cassez Claude Jard Brigitte Rozoy Mark Dermot Ryan Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 MOVEP Lecture Notes in Computer Science 2067 Springer 2001 3-540-42787-2 db/conf/movep/movep2000.html