A Workflow Verification Method Based on Calculus. | IEEE Conference Publication | IEEE Xplore