A Workflow Verification Method Based on Calculus.

Fei Xu, Zhiwei Yu

Browse the full TASE paper archive.