Modeling And Verification Of Parallel Processes door Franck Cassez & C. Jard