Christian Eisentraut, David Spieler. Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis. In Roberto Bruni, Karsten Wolf, editors, Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers. Volume 5387 of Lecture Notes in Computer Science, pages 107-126, Springer, 2008. [doi]
@inproceedings{EisentrautS08, title = {Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis}, author = {Christian Eisentraut and David Spieler}, year = {2008}, doi = {10.1007/978-3-642-01364-5_7}, url = {http://dx.doi.org/10.1007/978-3-642-01364-5_7}, tags = {BPEL, analysis, termination}, researchr = {https://researchr.org/publication/EisentrautS08}, cites = {0}, citedby = {0}, pages = {107-126}, booktitle = {Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers}, editor = {Roberto Bruni and Karsten Wolf}, volume = {5387}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-01363-8}, }