{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:14Z","timestamp":1761611174075,"version":"3.32.0"},"publisher-location":"Boston","reference-count":16,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402081405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8141-3_43","type":"book-chapter","created":{"date-parts":[[2006,2,21]],"date-time":"2006-02-21T15:15:11Z","timestamp":1140534911000},"page":"563-576","source":"Crossref","is-referenced-by-count":11,"title":["Nested Commits For Mobile Calculi: Extending Join"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[]},{"given":"Hern\u00e1n","family":"Melgratti","sequence":"additional","affiliation":[]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"43_CR1","first-page":"415","volume":"2374","author":"N. Benton","year":"2002","unstructured":"N. Benton, L. Cardelli, and C. Fournet. Modern concurrency abstractions for C. Proc. of ECOOP 2002, LNCS 2374, pp. 415\u2013440. Springer Verlag, 2002.","journal-title":"LNCS"},{"key":"43_CR2","unstructured":"P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency, Control and Recovery in Database Systems. Addison-Wesley Longman, 1987."},{"issue":"1","key":"43_CR3","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. TCS 96(1):217\u2013248, 1992","journal-title":"TCS"},{"key":"43_CR4","unstructured":"L. Bocchi, C. Lanve, and G. Zavattaro. A calculus for long-running transactions. Proc. Of FMOODS\u201903, LNCS 2884, pp 194\u2013208. Springer Verlag, 2003."},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"R. Bruni, H. Melgratti, U. Montanari. Flat Committed Join in Join. Proc. of COMETA. 2003, ENTCS. To appear.","DOI":"10.1016\/j.entcs.2004.09.021"},{"key":"43_CR6","doi-asserted-by":"crossref","unstructured":"R. Bruni, C. Laneve, U. Montanari. Orchestrating transactions in join calculus. Proc. of CONCUR 2002, LNCS 2421, pp. 321\u2013336. Springer Verlag, 2002","DOI":"10.1007\/3-540-45694-5_22"},{"issue":"1\u20132","key":"43_CR7","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1006\/inco.1999.2819","volume":"156","author":"R. Bruni","year":"2000","unstructured":"R. Bruni and U. Montanari. Zero-safe nets: Comparing the collective and individual token approaches. Inform. and Comput. 156(1\u20132):46\u201389, 2000.","journal-title":"Inform. and Comput."},{"issue":"4","key":"43_CR8","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1147\/sj.414.0743","volume":"41","author":"M. Butler","year":"2002","unstructured":"M. Butler, M. Chessell, C. Ferreira C. Griffin. P. Henderson. and D. Vines. Extending the concept of transaction compensation. IBM Systems Journal 41(4):743\u2013758, 2002.","journal-title":"IBM Systems Journal"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"S. Conchon and F. Le Fessant. Jocaml: Mobile agents for Objective-Caml. Proc. of ASA\u201999\/MA\u201999, 1999.","DOI":"10.1109\/ASAMA.1999.805390"},{"key":"43_CR10","doi-asserted-by":"crossref","unstructured":"D. Duggan. Abstractions for Fault-Tolerant Global Computing. TCS. To appear.","DOI":"10.1016\/S1571-0661(04)80419-5"},{"key":"43_CR11","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the Join calculus. Proc. of POPL\u201996, pp. 372\u2013385. ACM Press, 1996.","DOI":"10.1145\/237721.237805"},{"key":"43_CR12","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1016\/0167-739X(92)90072-J","volume":"8","author":"S. Haridi","year":"1992","unstructured":"S. Haridi, S. Janson, and C. Palamidessi. Structural operational semantics of AKL. Journal and of Future Generation Computer Systems, 8:409\u2013421, 1992.","journal-title":"Journal and of Future Generation Computer Systems"},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"M. Mazzara and R. Lucchi. A framework for generic error handling in business processes. Proc. of WS-FM\u201904, ENTCS. To appear.","DOI":"10.1016\/j.entcs.2004.05.002"},{"key":"43_CR14","unstructured":"A. Reuter and H. W\u00e4chter. The contract model. Transaction Models for Advanced Applications. Morgan Kaufmann, 1992."},{"key":"43_CR15","unstructured":"U. Roxburgh. Biztalk orchestration: transactions, exceptions, debugging, 2001 http:\/\/msdn.microsoft.com\/library\/en-us\/dnbiz\/html\/btsorch.asp"},{"key":"43_CR16","doi-asserted-by":"crossref","unstructured":"J. Vitek, S. Jagannathan, A. Welc, and A. L. Hosking. A Semantic Framework for Designer Transactions. Proc. of ESOP\u201904, LNCS 2986, pp. 249\u2013263. Springer Verlag, 2004.","DOI":"10.1007\/978-3-540-24725-8_18"}],"container-title":["IFIP International Federation for Information Processing","Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8141-3_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T20:45:30Z","timestamp":1736282730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8141-3_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081405"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8141-3_43","relation":{},"subject":[]}}