1. S. Alves, A. Arkin, S. Askary, C. Barreto, B. Bloch, F. Curbera, M.G. Ford, Y. Goland, A. Guzar, N. Kartha, C.K. Liu, R. Khalaf, D. König, M. Marin, V. Mehta, S. Thatte, D. Rijn, P. Yendluri, A. Yiu, Web services business process execution language version 2.0 (oasis standard). 2007.
2. A calculus for long-running transactions;Bocchi,2003
3. Adaptable processes;Bravetti;Log. Methods Comput. Sci.,2012
4. On the expressive power of process interruption and compensation;Bravetti;Math. Struct. Comput. Sci.,2009
5. Precise modelling of compensating business transactions and its application to BPEL;Butler;J. Univers. Comput. Sci.,2005