Máté Kovács, Dániel Varró, László Gönczy. Formal modeling of BPEL workflows including fault and compensation handling. In Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky, editors, Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007. pages 1, ACM, 2007. [doi]
Abstract is missing.