Wing Lok Yeung. Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification. In IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2009, 14-15 December 2009, Taipei, Taiwan. pages 1-8, IEEE, 2009. [doi]
Abstract is missing.