{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:33:52Z","timestamp":1759336432782},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153747"},{"type":"electronic","value":"9783642153754"}],"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-15375-4_39","type":"book-chapter","created":{"date-parts":[[2010,8,20]],"date-time":"2010-08-20T18:04:18Z","timestamp":1282327458000},"page":"569-583","source":"Crossref","is-referenced-by-count":33,"title":["Communicating Transactions"],"prefix":"10.1007","author":[{"given":"Edsko","family":"de Vries","sequence":"first","affiliation":[]},{"given":"Vasileios","family":"Koutavas","sequence":"additional","affiliation":[]},{"given":"Matthew","family":"Hennessy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-71316-6_5","volume-title":"Programming Languages and Systems","author":"L. Acciai","year":"2007","unstructured":"Acciai, L., Boreale, M., Zilio, S.D.: A concurrent calculus with atomic transactions. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 48\u201363. Springer, Heidelberg (2007)"},{"key":"39_CR2","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/MIC.2008.110","volume":"12","author":"D. Benslimane","year":"2008","unstructured":"Benslimane, D., Dustdar, S., Sheth, A.: Services mashups: The new generation of web applications. IEEE Internet Computing\u00a012, 13\u201315 (2008)","journal-title":"IEEE Internet Computing"},{"key":"39_CR3","series-title":"ENTCS","first-page":"21","volume-title":"EXPRESS","author":"M. Berger","year":"2003","unstructured":"Berger, M., Honda, K.: The two-phase commitment protocol in an extended \u03c0-calculus. In: EXPRESS. ENTCS, vol.\u00a039, pp. 21\u201346. Elsevier, Amsterdam (2003)"},{"key":"39_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-24597-1_4","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"A.P. Black","year":"2003","unstructured":"Black, A.P., Cremet, V., Guerraoui, R., Odersky, M.: An equational theory for transactions. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, pp. 38\u201349. Springer, Heidelberg (2003)"},{"key":"39_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-24721-0_14","volume-title":"Fundamental Approaches to Software Engineering","author":"L. Bocchi","year":"2004","unstructured":"Bocchi, L.: Compositional nested long running transactions. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 194\u2013208. Springer, Heidelberg (2004)"},{"key":"39_CR6","series-title":"ENTCS","first-page":"119","volume-title":"WS-FM","author":"L. Bocchi","year":"2004","unstructured":"Bocchi, L., Wischik, L.: A process calculus of atomic commit. In: WS-FM. ENTCS, vol.\u00a0105, pp. 119\u2013132. Elsevier Science Publishers, Amsterdam (2004)"},{"key":"39_CR7","unstructured":"Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., Orchard, D.: Web services architecture, W3C Working Group Note (February 2004)"},{"key":"39_CR8","first-page":"209","volume-title":"POPL","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL, pp. 209\u2013220. ACM, New York (2005)"},{"key":"39_CR9","first-page":"569","volume-title":"IFIP-TCS","author":"R. Bruni","year":"2004","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending Join. In: IFIP-TCS, pp. 569\u2013582. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"39_CR10","unstructured":"Cabrera, L.F., et al.: Web services business activity framework (WS-BusinessActivity). Whitepaper (August 2005)"},{"key":"39_CR11","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.T.: A process calculus analysis of compensations. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol.\u00a05474, pp. 87\u2013103. Springer, Heidelberg (2009)"},{"key":"39_CR12","unstructured":"Ceponkus, A., Dalal, S., Fletcher, T., Furniss, P., Green, A., Pope, B.: Business transaction protocol. In: OASIS Committee Specification (June 2002)"},{"issue":"1","key":"39_CR13","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: determining global states of distributed systems. ACM Trans. Comp. Syst.\u00a03(1), 63\u201375 (1985)","journal-title":"ACM Trans. Comp. Syst."},{"key":"39_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/11539452_31","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"V. Danos","year":"2005","unstructured":"Danos, V., Krivine, J.: Transactions in RCCS. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 398\u2013412. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"39_CR15","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. De Nicola","year":"1984","unstructured":"De Nicola, R., Hennessy, M.C.B.: Testing equivalences for processes. Theoretical Computer Science\u00a034(1-2), 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"39_CR16","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1145\/568522.568525","volume":"34","author":"E.N.M. Elnozahy","year":"2002","unstructured":"Elnozahy, E.N.M., Alvisi, L., Wang, Y.M., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Comp. Surv.\u00a034(3), 375\u2013408 (2002)","journal-title":"ACM Comp. Surv."},{"issue":"2-3","key":"39_CR17","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0304-3975(90)90035-G","volume":"72","author":"R. Gorrieri","year":"1990","unstructured":"Gorrieri, R., Marchetti, S., Montanari, U.: A2CCS: atomic actions for CCS. Theor. Comp. Sci.\u00a072(2-3), 203\u2013223 (1990)","journal-title":"Theor. Comp. Sci."},{"key":"39_CR18","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/1065944.1065952","volume-title":"PPoPP","author":"T. Harris","year":"2005","unstructured":"Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: PPoPP, pp. 48\u201360. ACM, New York (2005)"},{"issue":"10","key":"39_CR19","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/944217.944237","volume":"46","author":"M. Little","year":"2003","unstructured":"Little, M.: Transactions and web services. Commun. ACM\u00a046(10), 49\u201354 (2003)","journal-title":"Commun. ACM"},{"issue":"1","key":"39_CR20","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.jlap.2006.05.007","volume":"70","author":"R. Lucchi","year":"2007","unstructured":"Lucchi, R., Mazzara, M.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming\u00a070(1), 96\u2013118 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"39_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-540-45187-7_26","volume-title":"CONCUR 2003 - Concurrency Theory","author":"U. Nestmann","year":"2003","unstructured":"Nestmann, U., Fuzzati, R., Merro, M.: Modeling consensus in a process calculus. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 399\u2013414. Springer, Heidelberg (2003)"},{"key":"39_CR22","first-page":"343","volume-title":"FTDCS","author":"E. Nett","year":"1995","unstructured":"Nett, E., Mock, M.: How to commit concurrent, non-isolated computations. In: FTDCS, pp. 343\u2013353. IEEE Comp. Soc., Los Alamitos (1995)"},{"issue":"11","key":"39_CR23","doi-asserted-by":"publisher","first-page":"1549","DOI":"10.1016\/S0167-8191(02)00165-5","volume":"28","author":"T. Park","year":"2002","unstructured":"Park, T., Lee, I., Yeom, H.Y.: An efficient causal logging scheme for recoverable distributed shared memory systems. Parallel Computing\u00a028(11), 1549\u20131572 (2002)","journal-title":"Parallel Computing"},{"key":"39_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-540-71389-0_22","volume-title":"Foundations of Software Science and Computational Structures","author":"J. Rathke","year":"2007","unstructured":"Rathke, J., Sassone, V., Sobocinski, P.: Semantic barbs and biorthogonality. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol.\u00a04423, pp. 302\u2013316. Springer, Heidelberg (2007)"},{"issue":"2","key":"39_CR25","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. and Comp.\u00a0205(2), 125\u2013198 (2007)","journal-title":"Inf. and Comp."},{"key":"39_CR26","doi-asserted-by":"crossref","unstructured":"de Vries, E., Koutavas, V., Hennessy, M.: Communicating transactions\u2014technical appendix (April 2010), http:\/\/www.scss.tcd.ie\/Edsko.de.Vries","DOI":"10.1007\/978-3-642-15375-4_39"},{"key":"39_CR27","volume-title":"Distributed Transaction Recovery","author":"G. Weikum","year":"2001","unstructured":"Weikum, G., Vossen, G.: Transactional information systems. In: Distributed Transaction Recovery, ch.\u00a020. Morgan Kaufmann Publishers Inc., San Francisco (2001)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2010 - Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15375-4_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T22:57:12Z","timestamp":1685746632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15375-4_39"}},"subtitle":["(Extended Abstract)"],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153747","9783642153754"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15375-4_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}