{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T22:35:52Z","timestamp":1763764552520,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642119569"},{"type":"electronic","value":"9783642119576"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11957-6_20","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T00:55:38Z","timestamp":1268009738000},"page":"366-386","source":"Crossref","is-referenced-by-count":24,"title":["On the Expressive Power of Primitives for Compensation Handling"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Lanese","sequence":"first","affiliation":[]},{"given":"C\u00e1tia","family":"Vaz","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Ferreira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Oasis: Web Services Business Process Execution Language Version 2.0 (2007), http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"issue":"1","key":"20_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inf. Comput.\u00a0100(1), 1\u201340, 41\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/978-3-540-39958-2_9","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"L. Bocchi","year":"2003","unstructured":"Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 124\u2013138. Springer, Heidelberg (2003)"},{"key":"20_CR4","first-page":"563","volume-title":"Proc. of IFIP TCS 2004","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: Extending join. In: Proc. of IFIP TCS 2004, pp. 563\u2013576. Kluwer, Dordrecht (2004)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/978-3-540-31982-5_18","volume-title":"Foundations of Software Science and Computational Structures","author":"C. Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 282\u2013298. Springer, Heidelberg (2005)"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-00945-7_6","volume-title":"Trustworthy Global Computing","author":"L. Caires","year":"2009","unstructured":"Caires, L., Ferreira, C., Vieira, H.: A process calculus analysis of compensations. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol.\u00a05474, pp. 87\u2013103. Springer, Heidelberg (2009)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-540-24634-3_9","volume-title":"Coordination Models and Languages","author":"M.J. Butler","year":"2004","unstructured":"Butler, M.J., Ferreira, C.: An operational semantics for StAC, a language for modelling long-running business transactions. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 87\u2013104. Springer, Heidelberg (2004)"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/1040305.1040323","volume-title":"Proc. of POPL 2005","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proc. of POPL 2005, pp. 209\u2013220. ACM Press, New York (2005)"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-00945-7_13","volume-title":"Trustworthy Global Computing","author":"C. Vaz","year":"2009","unstructured":"Vaz, C., Ferreira, C., Ravara, A.: Dynamic recovering of long running transactions. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol.\u00a05474, pp. 201\u2013215. Springer, Heidelberg (2009)"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/11423348_8","volume-title":"Communicating Sequential Processes. The First 25 Years","author":"M.J. Butler","year":"2005","unstructured":"Butler, M.J., Hoare, C., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525, pp. 133\u2013150. Springer, Heidelberg (2005)"},{"key":"20_CR11","unstructured":"Garcia-Molina, H., et al.: Coordinating multi-transaction activities. Technical Report CS-TR-2412, University of Maryland, Dept. of Computer Science (1990)"},{"key":"20_CR12","first-page":"190","volume-title":"Proc. of ACSD 2008","author":"C. Guidi","year":"2008","unstructured":"Guidi, C., Lanese, I., Montesi, F., Zavattaro, G.: On the interplay between fault handling and request-response service invocations. In: Proc. of ACSD 2008, pp. 190\u2013199. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1145\/1028976.1029011","volume-title":"Proc. of OOPSLA 2004","author":"W. Weimer","year":"2004","unstructured":"Weimer, W., Necula, G.: Finding and preventing run-time error handling mistakes. In: Proc. of OOPSLA 2004, pp. 419\u2013431. ACM Press, New York (2004)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Lanese, I., Vaz, C., Ferreira, C.: On the expressive power of primitives for compensation handling, TR (2010), http:\/\/www.cs.unibo.it\/~lanese\/publications\/fulltext\/TR-ESOP2010.pdf","DOI":"10.1007\/978-3-642-11957-6_20"},{"issue":"1","key":"20_CR15","doi-asserted-by":"crossref","first-page":"73","DOI":"10.3233\/FI-2009-143","volume":"95","author":"C. Guidi","year":"2009","unstructured":"Guidi, C., Lanese, I., Montesi, F., Zavattaro, G.: Dynamic error handling in service oriented applications. Fundamenta Informaticae\u00a095(1), 73\u2013102 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"20_CR16","series-title":"ENTCS","first-page":"173","volume-title":"Proc. of the LIX Colloquium on Emerging Trends in Concurrency Theory","author":"J. Parrow","year":"2008","unstructured":"Parrow, J.: Expressiveness of process algebras. In: Proc. of the LIX Colloquium on Emerging Trends in Concurrency Theory. ENTCS, vol.\u00a0209, pp. 173\u2013186. Elsevier, Amsterdam (2008)"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Palamidessi, C.: Comparing the expressive power of the synchronous and the asynchronous pi-calculus. In: Proc. of POPL 1997, pp. 256\u2013265 (1997)","DOI":"10.1145\/263699.263731"},{"issue":"1-2","key":"20_CR18","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1006\/inco.1999.2822","volume":"156","author":"U. Nestmann","year":"2000","unstructured":"Nestmann, U.: What is a \u201dgood\u201d encoding of guarded choice? Inf. Comput.\u00a0156(1-2), 287\u2013319 (2000)","journal-title":"Inf. Comput."},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-540-85361-9_38","volume-title":"CONCUR 2008 - Concurrency Theory","author":"D. Gorla","year":"2008","unstructured":"Gorla, D.: Towards a unified approach to encodability and separation results for process calculi. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 492\u2013507. Springer, Heidelberg (2008)"},{"issue":"2","key":"20_CR20","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.ic.2006.06.002","volume":"205","author":"A. Rensink","year":"2007","unstructured":"Rensink, A., Vogler, W.: Fair testing. Inf. Comput.\u00a0205(2), 125\u2013198 (2007)","journal-title":"Inf. Comput."},{"key":"20_CR21","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci.\u00a034, 83\u2013133 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Thomsen, B.: Calculi for Higher Order Communicating Systems. PhD thesis, Imperial College (1990)","DOI":"10.1145\/75277.75290"},{"key":"20_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11841197_17","volume-title":"Web Services and Formal Methods","author":"M. Mazzara","year":"2006","unstructured":"Mazzara, M., Lanese, I.: Towards a unifying theory for web services composition. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 257\u2013272. Springer, Heidelberg (2006)"},{"key":"20_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"20_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"ECOOP \u201991 European Conference on Object-Oriented Programming","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An object calculus for asynchronous communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, pp. 133\u2013147. Springer, Heidelberg (1991)"},{"key":"20_CR26","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/237721.237805","volume-title":"Proc. of POPL 1996","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: Proc. of POPL 1996, pp. 372\u2013385. ACM Press, New York (1996)"},{"key":"20_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11841197_3","volume-title":"Web Services and Formal Methods","author":"M. Boreale","year":"2006","unstructured":"Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V., Zavattaro, G.: SCC: a Service Centered Calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 38\u201357. Springer, Heidelberg (2006)"},{"key":"20_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/11948148_27","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"C. Guidi","year":"2006","unstructured":"Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: a calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 327\u2013338. Springer, Heidelberg (2006)"},{"key":"20_CR29","first-page":"305","volume-title":"Proc. of SEFM 2007","author":"I. Lanese","year":"2007","unstructured":"Lanese, I., Martins, F., Vasconcelos, V., Ravara, A.: Disciplining orchestration and conversation in service-oriented computing. In: Proc. of SEFM 2007, pp. 305\u2013314. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"20_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"20_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-78739-6_21","volume-title":"Programming Languages and Systems","author":"H. Vieira","year":"2008","unstructured":"Vieira, H., Caires, L., Seco, J.: The conversation calculus: A model of service-oriented computation. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 269\u2013283. Springer, Heidelberg (2008)"},{"key":"20_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-68863-1_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Boreale","year":"2008","unstructured":"Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 19\u201338. Springer, Heidelberg (2008)"},{"key":"20_CR33","first-page":"13","volume-title":"Proc. of ECOWS 2007","author":"F. Montesi","year":"2007","unstructured":"Montesi, F., Guidi, C., Zavattaro, G.: Composing services with JOLIE. In: Proc. of ECOWS 2007, pp. 13\u201322. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"20_CR34","unstructured":"Jolie team: Jolie website (2009), http:\/\/www.jolie-lang.org\/"},{"key":"20_CR35","doi-asserted-by":"crossref","unstructured":"Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: Proc. of LICS 1998, pp. 176\u2013185 (1998)","DOI":"10.1109\/LICS.1998.705654"},{"issue":"1-2","key":"20_CR36","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.tcs.2006.07.003","volume":"366","author":"L. Aceto","year":"2006","unstructured":"Aceto, L., Fokkink, W., Ing\u00f3lfsd\u00f3ttir, A., Nain, S.: Bisimilarity is not finitely based over bpa with interrupt. Theor. Comput. Sci.\u00a0366(1-2), 60\u201381 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"20_CR37","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1017\/S0960129509007683","volume":"19","author":"M. Bravetti","year":"2009","unstructured":"Bravetti, M., Zavattaro, G.: On the expressive power of process interruption and compensation. Math. Stru. Comp. Sci.\u00a019(3), 565\u2013599 (2009)","journal-title":"Math. Stru. Comp. Sci."},{"key":"20_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-02161-9_2","volume-title":"Software Engineering for Self-Adaptive Systems","author":"J. Andersson","year":"2009","unstructured":"Andersson, J., de Lemos, R., Malek, S., Weyns, D.: Modeling dimensions of self-adaptive software systems. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 27\u201347. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11957-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T01:38:06Z","timestamp":1739929086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11957-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119569","9783642119576"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11957-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}