Chunxiang Xu, Hanpin Wang, Wanling Qu, Meixia Zhu, Yu Huang. A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics. In Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2010. pages 203-211, IEEE Computer Society, 2009. [doi]
Abstract is missing.