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]
@inproceedings{KovacsVG07,
title = {Formal modeling of BPEL workflows including fault and compensation handling},
author = {Máté Kovács and Dániel Varró and László Gönczy},
year = {2007},
doi = {10.1145/1316550.1316551},
url = {http://doi.acm.org/10.1145/1316550.1316551},
tags = {modeling, BPEL, workflow},
researchr = {https://researchr.org/publication/KovacsVG07},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007},
editor = {Nicolas Guelfi and Henry Muccini and Patrizio Pelliccione and Alexander Romanovsky},
publisher = {ACM},
isbn = {978-1-59593-725-4},
}