{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:10Z","timestamp":1761611170919},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540283096"},{"type":"electronic","value":"9783540319344"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11539452_30","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T13:54:50Z","timestamp":1127829290000},"page":"383-397","source":"Crossref","is-referenced-by-count":42,"title":["Comparing Two Approaches to Compensable Flow Composition"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[]},{"given":"Michael","family":"Butler","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Ferreira","sequence":"additional","affiliation":[]},{"given":"Tony","family":"Hoare","sequence":"additional","affiliation":[]},{"given":"Hern\u00e1n","family":"Melgratti","sequence":"additional","affiliation":[]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","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":"30_CR2","unstructured":"BPEL Specification (v.1.1), \n                    \n                      http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel"},{"key":"30_CR3","unstructured":"Business Process Modeling Language (BPML), \n                    \n                      http:\/\/www.bpmi.org\/BPML.htm"},{"key":"30_CR4","first-page":"569","volume-title":"Proceedings of the 3rd IFIP-TCS 2004, 3rd IFIP Intl. Conference on Theoretical Computer Science","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending Join. In: L\u00e9vy, J.-J., Mayr, E., Mitchell, J. (eds.) Proceedings of the 3rd IFIP-TCS 2004, 3rd IFIP Intl. Conference on Theoretical Computer Science, pp. 569\u2013582. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"30_CR5","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/1040305.1040323","volume-title":"Proceedings of POPL 2005, 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proceedings of POPL 2005, 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 209\u2013220. ACM Press, New York (2005)"},{"key":"30_CR6","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 modeling long-running business transactions. In: De Nicola, R., Ferrari, G., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 87\u2013104. Springer, Heidelberg (2004)"},{"key":"30_CR7","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":"30_CR8","first-page":"249","volume-title":"Proceedings of the ACM Special Interest Group on Management of Data Annual Conference","author":"H. Garcia-Molina","year":"1987","unstructured":"Garcia-Molina, H., Salem, K.: Sagas. In: Dayal, U., Traiger, I.L. (eds.) Proceedings of the ACM Special Interest Group on Management of Data Annual Conference, pp. 249\u2013259. ACM Press, New York (1987)"},{"key":"30_CR9","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":"Proceedings of FoSSaCS 2005, 8th International Conference on 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":"30_CR10","unstructured":"Leymann. F.: WSFL Specification (v.1.0) (May 2001), \n                    \n                      http:\/\/www-306.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Mazzara, M., Lucchi, R.: A framework for generic error handling in business processes. In: Bravetti, M., Zavattaro, G. (eds.) Proceedings of WS-FM 2004, 1st International Workshop on Web Services and Formal Methods (2004) (to appear as ENTCS)","DOI":"10.1016\/j.entcs.2004.05.002"},{"key":"30_CR12","unstructured":"Melgratti, H.: Models and Languages for Global Computing Transaction. PhD thesis, Computer Science Department, University of Pisa (2005) (Submitted)"},{"key":"30_CR13","unstructured":"Web Service Choreography Interface (WSCI) 1.0, \n                    \n                      http:\/\/www.w3.org\/TR\/wsci"},{"key":"30_CR14","unstructured":"Web Services Conversation Language (WSCL) 1.0, \n                    \n                      http:\/\/www.w3.org\/TR\/wscl10\/"},{"key":"30_CR15","unstructured":"Web Service Description Language (WSDL), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl"},{"key":"30_CR16","unstructured":"Web Services for Business Process Design (XLANG), \n                    \n                      http:\/\/www.gotdotnet.com\/team\/xmlwsspecs\/xlang-c\/default.htm"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2005 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11539452_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T08:17:56Z","timestamp":1552810676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11539452_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540283096","9783540319344"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11539452_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}