"Modeling and Verification of Parallel Processes, 4 school, MOVEP 2000" - читать интересную книгу автора (Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan)