A CSP-theoretic Framework of Checking Conformance of Business Processes. - Suman Roy 001; Sidharth Bihary; Jose Alfonso Corso Laos (APSEC, 2012)

A Conformance Checker Tool CSPConCheck. - Suman Roy 001; Sidharth Bihary; Jose Alfonso Corso Laos (ICTAC, 2012)