Towards a Formal Verification Approach for Business Process Coordination.

Min Yuan, Zhiqiu Huang, Xiang Li, Yan Yan

Browse the full ICWS paper archive.