A CSP-theoretic Framework of Checking Conformance of Business Processes.

Suman Roy, Sidharth Bihary, Jose Alfonso Corso Laos

Browse the full APSEC paper archive.