Rule-Level Verification of Business Process Transformations using CSP.

Dénes Bisztray Reiko Heckel Rule-Level Verification of Business Process Transformations using CSP. 2007 6 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/71 db/journals/eceasst/eceasst6.html#BisztrayH07