Gongyuan Zhang, Bixin Li. A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification. In 5th IEEE Asia-Pacific Services Computing Conference, APSCC 2010, 6-10 December 2010, Hangzhou, China, Proceedings. pages 277-284, IEEE Computer Society, 2010. [doi]
Abstract is missing.