Specification, Verification and Implementation of Business Processes Using CSP.

Moritz Kleine, Thomas Gthel

Browse the full TASE paper archive.