{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:39:31Z","timestamp":1725586771750},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214363"},{"type":"electronic","value":"9783642214370"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21437-0_21","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T07:33:16Z","timestamp":1308382396000},"page":"262-277","source":"Crossref","is-referenced-by-count":4,"title":["Failure-Divergence Refinement of Compensating Communicating Processes"],"prefix":"10.1007","author":[{"given":"Zhenbang","family":"Chen","sequence":"first","affiliation":[]},{"given":"Zhiming","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Ji","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_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":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11539452_30","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Butler, M.J., Ferreira, C., Hoare, C.A.R., Melgratti, H.C., Montanari, U.: Comparing two approaches to compensable flow composition. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 383\u2013397. Springer, Heidelberg (2005)"},{"key":"21_CR3","first-page":"209","volume-title":"Proc. POPL 2005","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proc. POPL 2005, pp. 209\u2013220. ACM Press, New York (2005)"},{"key":"21_CR4","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)"},{"issue":"5","key":"21_CR5","first-page":"712","volume":"11","author":"M.J. Butler","year":"2005","unstructured":"Butler, M.J., Ferreira, C., Ng, M.Y.: Precise modelling of compensating business transactions and its application to BPEL. J. UCS\u00a011(5), 712\u2013743 (2005)","journal-title":"J. UCS"},{"key":"21_CR6","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":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/11549970_18","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"M. Butler","year":"2005","unstructured":"Butler, M., Ripon, S.: Executable semantics for compensating CSP. In: Bravetti, M., Kloul, L., Tennenholtz, M. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 243\u2013256. Springer, Heidelberg (2005)"},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/1328438.1328471","volume-title":"POPL","author":"G. Castagna","year":"2008","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. In: Necula, G.C., Wadler, P. (eds.) POPL, pp. 261\u2013272. ACM, New York (2008)"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-14808-8_9","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2010","author":"Z. Chen","year":"2010","unstructured":"Chen, Z., Liu, Z.: An Extended cCSP with Stable Failures Semantics. In: Cavalcanti, A., Deharbe, D., Gaudel, M.-C., Woodcock, J. (eds.) ICTAC 2010. LNCS, vol.\u00a06255, pp. 121\u2013136. Springer, Heidelberg (2010)"},{"key":"21_CR10","unstructured":"Chen, Z., Liu, Z., Wang, J.: A theory of failure-divergence refinement for long running transactions. Technical Report 447, UNU-IIST (2011), http:\/\/www.iist.unu.edu\/www\/docs\/techreports\/reports\/report447.pdf"},{"key":"21_CR11","first-page":"54","volume-title":"Proc. ASE 2007","author":"J. Fischer","year":"2007","unstructured":"Fischer, J., Majumdar, R.: Ensuring consistency in long running transactions. In: Proc. ASE 2007, pp. 54\u201363. ACM, New York (2007)"},{"key":"21_CR12","first-page":"249","volume-title":"Proc. SIGMOD 1987","author":"H. Garcia-Molina","year":"1987","unstructured":"Garcia-Molina, H., Salem, K.: SAGAS. In: Proc. SIGMOD 1987, pp. 249\u2013259. ACM Press, New York (1987)"},{"key":"21_CR13","volume-title":"Transaction Processing: Concepts and Techniques","author":"J. Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)"},{"issue":"10","key":"21_CR14","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/944217.944237","volume":"46","author":"M.C. Little","year":"2003","unstructured":"Little, M.C.: Transactions and web services. Commun. ACM\u00a046(10), 49\u201354 (2003)","journal-title":"Commun. ACM"},{"key":"21_CR15","unstructured":"Microsoft. Biztalk server, http:\/\/www.microsoft.com\/biztalk\/default.asp"},{"issue":"2","key":"21_CR16","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.entcs.2009.08.020","volume":"250","author":"S. Ripon","year":"2009","unstructured":"Ripon, S., Butler, M.J.: PVS embedding of cCSP semantic models and their relationship. Electr. Notes Theor. Comput. Sci.\u00a0250(2), 103\u2013118 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"21_CR17","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-540-85762-4_3","volume-title":"Theoretical Aspects of Computing - ICTAC 2008","author":"A.W. Roscoe","year":"2008","unstructured":"Roscoe, A.W.: The three platonic models of divergence-strict CSP. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol.\u00a05160, pp. 23\u201349. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","FM 2011: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21437-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T13:31:06Z","timestamp":1686144666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21437-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214363","9783642214370"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21437-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}