P. A. Abdulla, K. Cerans, B. Jonsson, and Y. Tsay, General decidability theorems for infinite-state systems, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.313-321, 1996.
DOI : 10.1109/LICS.1996.561359

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.2627

L. Bocchi, C. Laneve, and G. Zavattaro, A Calculus for Long-Running Transactions, Proc. of FMOODS'03, pp.124-138, 2003.
DOI : 10.1016/0890-5401(92)90008-4

L. Bocchi and E. Tuosto, A Java Inspired Semantics for Transactions in SOC, Proc. of TGC 2010, pp.120-134, 2010.
DOI : 10.1007/978-3-642-15640-3_9

M. Bravetti, C. D. Giusto, J. A. Pérez, and G. Zavattaro, Adaptable processes, Logical Methods in Computer Science, vol.8, issue.4, p.2012
DOI : 10.2168/LMCS-8(4:13)2012

URL : https://hal.archives-ouvertes.fr/hal-00909365

M. Bravetti and G. Zavattaro, On the expressive power of process interruption and compensation, Mathematical Structures in Computer Science, vol.4960, issue.03, pp.565-599, 2009.
DOI : 10.1007/s10270-006-0012-1

R. Bruni, M. J. Butler, C. Ferreira, C. A. Hoare, H. C. Melgratti et al., Comparing Two Approaches to Compensable Flow Composition, Proc . of CONCUR'05, pp.383-397, 2005.
DOI : 10.1007/11539452_30

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.7429

R. Bruni, A. Kersten, I. Lanese, and G. Spagnolo, A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions, Proc. of WADT 2010, pp.42-60, 2010.
DOI : 10.1007/978-3-540-78739-6_21

R. Bruni, H. C. Melgratti, and U. Montanari, Nested Commits For Mobile Calculi: Extending Join, Proc. of IFIP TCS'04, pp.563-576, 2004.
DOI : 10.1007/1-4020-8141-3_43

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.6285

R. Bruni, H. C. Melgratti, and U. Montanari, Theoretical foundations for compensations in flow composition languages, Proc. of POPL '05, pp.209-220, 2005.

M. J. Butler, C. Hoare, and C. Ferreira, A Trace Semantics for Long-Running Transactions, 25 Years CSP, pp.133-150, 2004.
DOI : 10.1007/11423348_8

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.3195

L. Caires, C. Ferreira, and H. Vieira, A Process Calculus Analysis of Compensations, Proc. of TGC'08, pp.87-103, 2008.
DOI : 10.1007/978-3-540-78739-6_21

E. De-vries, V. Koutavas, and M. Hennessy, Communicating Transactions, Proc. of CONCUR 2010, pp.569-583, 2010.
DOI : 10.1007/978-3-642-15375-4_39

C. Di-giusto, J. A. Pérez, and G. Zavattaro, On the Expressiveness of Forwarding in Higher-Order Communication, Proc. of ICTAC'09, pp.155-169, 2009.
DOI : 10.1007/978-3-642-03466-4_10

L. E. Dickson, Finiteness of the Odd Perfect and Primitive Abundant Numbers with n Distinct Prime Factors, American Journal of Mathematics, vol.35, issue.4, pp.413-422, 1913.
DOI : 10.2307/2370405

A. Finkel and P. Schnoebelen, Well-structured transition systems everywhere! Theoretical Computer Science, pp.63-92, 2001.
DOI : 10.1016/s0304-3975(00)00102-x

URL : http://doi.org/10.1016/s0304-3975(00)00102-x

C. Guidi, I. Lanese, F. Montesi, and G. Zavattaro, Dynamic error handling in service oriented applications, Fundamenta Informaticae, vol.95, issue.1, pp.73-102, 2009.

G. Higman, Ordering by Divisibility in Abstract Algebras, Proc. London Math. Soc., 3rd series, pp.326-336, 1952.
DOI : 10.1112/plms/s3-2.1.326

URL : http://plms.oxfordjournals.org/cgi/content/short/s3-2/1/326

I. Lanese, Static vs Dynamic SAGAs, Proc. of ICE 2010, pp.51-65, 2010.
DOI : 10.4204/EPTCS.38.7

URL : http://doi.org/10.4204/eptcs.38.7

I. Lanese, J. A. Pérez, D. Sangiorgi, and A. Schmitt, On the expressiveness and decidability of higher-order process calculi, Proc. of LICS'08, pp.145-155, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01112294

I. Lanese, C. Vaz, and C. Ferreira, On the Expressive Power of Primitives for Compensation Handling, Proc. of ESOP 2010, pp.366-386, 2010.
DOI : 10.1007/978-3-642-11957-6_20

I. Lanese and G. Zavattaro, Programming Sagas in SOCK, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, pp.189-198, 2009.
DOI : 10.1109/SEFM.2009.23

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.2955

C. Laneve and G. Zavattaro, Foundations of Web Transactions, Proc. of FoS- SaCS'05, pp.282-298, 2005.
DOI : 10.1007/978-3-540-31982-5_18

R. Milner, J. Parrow, and J. Walker, A calculus of mobile processes, II, Information and Computation, vol.100, issue.1, pp.1-4041, 1992.
DOI : 10.1016/0890-5401(92)90009-5

M. Minsky, Computation: finite and infinite machines, 1967.

F. Montesi, C. Guidi, and G. Zavattaro, Composing Services with JOLIE, Fifth European Conference on Web Services (ECOWS'07), pp.13-22, 2007.
DOI : 10.1109/ECOWS.2007.19

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.2241

. Oasis, Web Services Business Process Execution Language Version 2.0, 2007.

C. Vaz, C. Ferreira, and A. Ravara, Dynamic Recovering of Long Running Transactions, Proc. of TGC'08, pp.201-215, 2008.
DOI : 10.1007/11948148_27