{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:57:12Z","timestamp":1743119832976,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642013638"},{"type":"electronic","value":"9783642013645"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01364-5_1","type":"book-chapter","created":{"date-parts":[[2009,4,30]],"date-time":"2009-04-30T12:32:58Z","timestamp":1241094778000},"page":"1-18","source":"Crossref","is-referenced-by-count":0,"title":["On the Expressive Power of Process Interruption and Compensation"],"prefix":"10.1007","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Process algebra (equational theories of communicating processes","author":"J.C.M. Baeten","year":"2008","unstructured":"Baeten, J.C.M., Basten, T., Reniers, M.A.: Process algebra (equational theories of communicating processes. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2008)"},{"key":"1_CR2","unstructured":"Baeten, J.C.M., Bergstra, J.: Mode transfer in process algebra. Report CSR 00-01, Technische Universiteit Eindhoven. This paper is an expanded and revised version of J. Bergstra, A mode transfer operator in process algebra, Report P8808, Programming Research Group, University of Amsterdam (2000), \n                  \n                    http:\/\/alexandria.tue.nl\/extra1\/wskrap\/publichtml\/200010731.pdf"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"1_CR4","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.T., 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":"1_CR5","unstructured":"Bravetti, M., Zavattaro, G.: On the Expressive Power of Process Interruption and Compensation. Technical report, \n                  \n                    http:\/\/cs.unibo.it\/~zavattar\/papers.html"},{"key":"1_CR6","first-page":"563","volume-title":"TCS 2004: IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Nested Commits for Mobile Calculi: Extending Join. In: TCS 2004: IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science, pp. 563\u2013576. Kluwer, Dordrecht (2004)"},{"key":"1_CR7","first-page":"209","volume-title":"POPL 2005: Proceedings of the 32nd Symposium on Principles of Programming Languages","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005: Proceedings of the 32nd Symposium on Principles of Programming Languages, pp. 209\u2013220. ACM Press, New York (2005)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/3-540-45061-0_12","volume-title":"Automata, Languages and Programming","author":"N. Busi","year":"2003","unstructured":"Busi, N., Gabbrielli, M., Zavattaro, G.: Replication vs. Recursive Definitions in Channel Based Calculi. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol.\u00a02719, pp. 133\u2013144. Springer, Heidelberg (2003)"},{"key":"1_CR9","unstructured":"Busi, N., Gabbrielli, M., Zavattaro, G.: On the Expressive Power of Recursion, Replication, and Iteration in Process Calculi. Technical report, \n                  \n                    http:\/\/cs.unibo.it\/~zavattar\/papers.html\n                  \n                  \n                 Extended version of BGZ03"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-24634-3_9","volume-title":"Coordination Models and Languages","author":"M. Butler","year":"2004","unstructured":"Butler, M., 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":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/11423348_8","volume-title":"Communicating Sequential Processes. The First 25 Years","author":"M. Butler","year":"2005","unstructured":"Butler, M., Hoare, T., 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":"1_CR12","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0304-3975(00)00102-X","volume":"256","author":"A. Finkel","year":"2001","unstructured":"Finkel, A., Schnoebelen, P.: Well-Structured Transition Systems Everywhere! Theoretical Computer Science\u00a0256, 63\u201392 (2001)","journal-title":"Theoretical Computer Science"},{"key":"1_CR13","first-page":"236","volume":"2","author":"G. Higman","year":"1952","unstructured":"Higman, G.: Ordering by divisibility in abstract algebras. Proc. London Math. Soc.\u00a02, 236\u2013366 (1952)","journal-title":"Proc. London Math. Soc."},{"key":"1_CR14","volume-title":"Communicating Sequential Processes","author":"T. Hoare","year":"1985","unstructured":"Hoare, T.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"issue":"2","key":"1_CR15","first-page":"210","volume":"95","author":"J.B. Kruskal","year":"1960","unstructured":"Kruskal, J.B.: Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi\u2019s Conjecture. Transactions of the American Mathematical Society\u00a095(2), 210\u2013225 (1960)","journal-title":"Transactions of the American Mathematical Society"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"1_CR17","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":"1_CR18","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"1","key":"1_CR19","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, D.: A Calculus of Mobile Processes, Part I + II. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"1_CR20","volume-title":"Computation: finite and infinite machines","author":"M.L. Minsky","year":"1967","unstructured":"Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall, Englewood Cliffs (1967)"},{"issue":"1","key":"1_CR21","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","volume":"6","author":"J. Misra","year":"2007","unstructured":"Misra, J., Cook, W.R.: Computation Orchestration. Journal of Software and System Modeling\u00a06(1), 83\u2013110 (2007)","journal-title":"Journal of Software and System Modeling"},{"key":"1_CR22","unstructured":"OASIS. WS-BPEL: Web Services Business Process Execution Language Version 2.0. Technical report, OASIS (2003)"},{"key":"1_CR23","first-page":"685","volume-title":"Mathematical Structures in Computer Science","author":"C. Palamidessi","year":"2003","unstructured":"Palamidessi, C.: Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus. In: Mathematical Structures in Computer Science, vol.\u00a013(5), pp. 685\u2013719. Cambridge University Press, Cambridge (2003); A short version of this paper appeared in POPL 1997 (1997)"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/321160.321170","volume":"10","author":"J.C. Shepherdson","year":"1963","unstructured":"Shepherdson, J.C., Sturgis, J.E.: Computability of recursive functions. Journal of the ACM\u00a010, 217\u2013255 (1963)","journal-title":"Journal of the ACM"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0049-237X(09)70156-9","volume-title":"Harvey Friedman\u2019s Research on the Foundations of Mathematics","author":"S.G. Simpson","year":"1985","unstructured":"Simpson, S.G.: Nonprovability of certain combinatorial properties of finite trees. In: Harvey Friedman\u2019s Research on the Foundations of Mathematics, pp. 87\u2013117. North-Holland, Amsterdam (1985)"},{"key":"1_CR26","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.T. Vieira","year":"2008","unstructured":"Vieira, H.T., Caires, L., Seco, J.C.: 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":"1_CR27","unstructured":"W3C. WS-CDL: Web Services Choreography Description Language. Technical report, W3C (2004)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01364-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T00:34:16Z","timestamp":1578530056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01364-5_1"}},"subtitle":["(Extended abstract)"],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642013638","9783642013645"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01364-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}