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