Modeling and Verification of Parallel ProcessesFranck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan · First published 2003Open the Tome