Simon Moser, Axel Martens, Katharina Görlach, Wolfram Amme, Artur Godlinski. Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. In 2007 IEEE International Conference on Services Computing (SCC 2007), 9-13 July 2007, Salt Lake City, Utah, USA. pages 98-105, IEEE Computer Society, 2007. [doi]
Abstract is missing.