A CSP-theoretic Framework of Checking Conformance of Business Processes | IEEE Conference Publication | IEEE Xplore