Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma. An operational semantics of WS-BPEL based on abstract BPEL machine. In IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2010, 13-15 December 2010, Perth, Australia. pages 1-4, IEEE, 2010. [doi]
Abstract is missing.