{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:49:46Z","timestamp":1725529786695},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642009440"},{"type":"electronic","value":"9783642009457"}],"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-00945-7_13","type":"book-chapter","created":{"date-parts":[[2009,4,4]],"date-time":"2009-04-04T04:57:53Z","timestamp":1238821073000},"page":"201-215","source":"Crossref","is-referenced-by-count":18,"title":["Dynamic Recovering of Long Running Transactions"],"prefix":"10.1007","author":[{"given":"C\u00e1tia","family":"Vaz","sequence":"first","affiliation":[]},{"given":"Carla","family":"Ferreira","sequence":"additional","affiliation":[]},{"given":"Ant\u00f3nio","family":"Ravara","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","first-page":"144","volume-title":"VLDB","author":"J. Gray","year":"1981","unstructured":"Gray, J.: The transaction concept: Virtues and limitations (invited paper). In: VLDB, pp. 144\u2013154. IEEE Computer Society, Los Alamitos (1981)"},{"key":"13_CR2","unstructured":"OMG: Additional Structuring Mechanisms for the OTS Specification 1.0. (2002)"},{"key":"13_CR3","unstructured":"Sun Microsystems: J2EE Activity Service for Extended Transactions (2004)"},{"key":"13_CR4","unstructured":"Microsoft, IBM, BEA: WS-Coordination\/WS-Transaction Specification (2005)"},{"key":"13_CR5","unstructured":"Thatte, S.: XLANG: Web services for business process design. Technical report, Microsoft Corporation (2001)"},{"key":"13_CR6","unstructured":"OASIS: Web Services Business Process Execution Language Version 2.0 (2007)"},{"key":"13_CR7","unstructured":"Kavantzas, N., Olsson, G., Michkinsky, J., Chapman, M.: Web services choreography description language. Technical report, Oracle Corporation (2003)"},{"key":"13_CR8","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":"13_CR9","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.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":"13_CR10","first-page":"190","volume-title":"8th International Conference on Application of Concurrency to System Design","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: 8th International Conference on Application of Concurrency to System Design, pp. 190\u2013199. IEEE Computer Society, Los Alamitos (2008)"},{"key":"13_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.J. Butler","year":"2005","unstructured":"Butler, M.J., Hoare, C.A.R., 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":"13_CR12","first-page":"209","volume-title":"POPL","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Palsberg, J., Abadi, M. (eds.) POPL, pp. 209\u2013220. ACM, New York (2005)"},{"key":"13_CR13","first-page":"563","volume-title":"IFIP TCS","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Nested commits for mobile calculi: Extending join. In: L\u00e9vy, J.J., Mayr, E.W., Mitchell, J.C. (eds.) IFIP TCS, pp. 563\u2013576. Kluwer, Dordrecht (2004)"},{"key":"13_CR14","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":"13_CR15","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":"13_CR16","unstructured":"Vaz, C., Ferreira, C., Ravara, A.: Dynamic recovering of long running transactions. Technical report, CITI, \n                  \n                    http:\/\/pwp.net.ipl.pt\/cc.isel\/cvaz\/dcpi.pdf"},{"key":"13_CR17","unstructured":"JBoss: Web Service Transactions Programmers Guide (2007)"},{"issue":"1","key":"13_CR18","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, I and II. Inf. Comput.\u00a0100(1), 1\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"13_CR19","volume-title":"IPDPS","author":"L. Veiga","year":"2005","unstructured":"Veiga, L., Ferreira, P.: Asynchronous complete distributed garbage collection. In: IPDPS. IEEE Computer Society, Los Alamitos (2005)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1007\/3-540-57208-2_36","volume-title":"CONCUR\u201993","author":"V.T. Vasconcelos","year":"1993","unstructured":"Vasconcelos, V.T., Honda, K.: Principal typing-schemes in a polyadic \u03c0-calculus. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 524\u2013538. Springer, Heidelberg (1993)"},{"key":"13_CR21","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gonthier, G.: The reflexive cham and the join-calculus. In: POPL, pp. 372\u2013385 (1996)","DOI":"10.1145\/237721.237805"},{"key":"13_CR23","first-page":"249","volume-title":"SIGMOD Conference","author":"H. Garcia-Molina","year":"1987","unstructured":"Garcia-Molina, H., Salem, K.: Sagas. In: Dayal, U., Traiger, I.L. (eds.) SIGMOD Conference, pp. 249\u2013259. ACM Press, New York (1987)"},{"key":"13_CR24","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)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00945-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T09:57:05Z","timestamp":1551952625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00945-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642009440","9783642009457"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00945-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}