@PROCEEDINGS{Cassez02a,
  title = {Modeling and Verification of Parallel Processes, MOVEP'2002},
  year = {2002},
  editor = {Cassez, F. and Jard, C. and Laroussinie, F. and Ryan, M. (eds)},
  series = {European Summer School},
  address = {Nantes},
  publisher = {Univ. Nantes},
  month = jun
}