Return to Article Details Rule-Level Verification of Business Process Transformations using CSP Download Download PDF