Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao. Patterns with Algebraic Properties in BPEL0. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 363-370, IEEE, 2006. [doi]
Abstract is missing.