{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:13:15Z","timestamp":1725574395942},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210443"},{"type":"electronic","value":"9783540246343"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24634-3_15","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T03:57:55Z","timestamp":1294372675000},"page":"183-198","source":"Crossref","is-referenced-by-count":10,"title":["Optimistic Concurrency Semantics for Transactions in Coordination Languages"],"prefix":"10.1007","author":[{"given":"Suresh","family":"Jagannathan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Vitek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-61604-7_53","volume-title":"CONCUR \u201996: Concurrency Theory","author":"R.M. Amadio","year":"1996","unstructured":"Amadio, R.M., Castellani, I., Sangiorgi, D.: On Bisimulations for the Asynchronous \u03c0-Calculus. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 147\u2013162. Springer, Heidelberg (1996)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Berger, M., Honda, K.: The Two-Phase Commitment Protocol in an Extended pi-Calculus. In: Aceto, L., Victor, B. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a039. Elsevier, Amsterdam (2003)","DOI":"10.1016\/S1571-0661(05)82502-2"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Black, A., Cremet, V., Guerraoui, R., Odersky, M.: An Equational Theory for Transactions. Technical Report CSE 03-007, Department of Computer Science, OGI School of Science and Engineering (2003)","DOI":"10.1007\/978-3-540-24597-1_4"},{"key":"15_CR4","unstructured":"Boudol, G.: Asynchrony and the \u03c0-calculus (Note). Rapport de Recherche 1702, INRIA Sofia-Antipolis (May 1992)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Bruni, R., Laneve, C., Montanari, U.: Orchestrating Transactions in the Join Calculus. In: 13th International Conference on Concurrency Theory (2002)","DOI":"10.1007\/3-540-45694-5_22"},{"issue":"2","key":"15_CR6","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/S0304-3975(97)00149-7","volume":"192","author":"N. Busi","year":"1998","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: A process algebraic view of Linda coordination primitives. Theoretical Computer Science\u00a0192(2), 167\u2013199 (1998)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"15_CR7","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/S0304-3975(97)00149-7","volume":"192","author":"N. Busi","year":"1998","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: A process algebraic view of linda coordination primitives. Theoretical Computer Science\u00a0192(2), 167\u2013199 (1998)","journal-title":"Theoretical Computer Science"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: On the Semantics of JavaSpaces. In: Formal Methods for Open Object-Based Distributed Systems IV, vol.\u00a0177. Kluwer, Dordrecht (2000)","DOI":"10.1007\/978-0-387-35520-7_1"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/3-540-45499-3_16","volume-title":"Algebraic Methodology and Software Technology","author":"N. Busi","year":"2000","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: Process calculi for coordination: From Linda to JavaSpaces. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, p. 198. Springer, Heidelberg (2000)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-45315-6_8","volume-title":"Foundations of Software Science and Computation Structures","author":"N. Busi","year":"2001","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: Temporary Data in Shared Dataspace Coordination Languages. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, pp. 121\u2013136. Springer, Heidelberg (2001)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Busi, N., Zavattaro, G.: On the serializability of transactions in JavaSpaces. In: Proc. of International Workshop on Concurrency and Coordination (CONCOORD 2001). Electronic Notes in Theoretical Computer Science, vol.\u00a054. Elsevier, Amsterdam (2001)","DOI":"10.1016\/S1571-0661(04)00238-5"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/508791.508860","volume-title":"Proc. of ACM Symposium on Applied Computing (SAC 2002)","author":"N. Busi","year":"2002","unstructured":"Busi, N., Zavattaro, G.: On the serializability of transactions in shared dataspaces with temporary data. In: Proc. of ACM Symposium on Applied Computing (SAC 2002), pp. 359\u2013366. ACM Press, New York (2002)"},{"key":"15_CR13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-59450-7_5","volume-title":"Object-Based Models and Languages for Concurrent Systems","author":"N. Carriero","year":"1995","unstructured":"Carriero, N., Gelernter, D., Zuck, L.: Bauhaus Linda. In: Ciancarini, P., Nierstrasz, O., Yonezawa, A. (eds.) Object-Based Models and Languages for Concurrent Systems. LNCS, vol.\u00a0924, pp. 66\u201376. Springer, Berlin (1995)"},{"issue":"4","key":"15_CR14","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in Context. Communications of the ACM\u00a032(4), 444\u2013458 (1989)","journal-title":"Communications of the ACM"},{"key":"15_CR15","unstructured":"Chothia, T., Duggan, D.: Abstractions for Fault-Tolerant Computing. Technical Report 2003-3, Department of Computer Science, Stevens Institute of Technology (2003)"},{"issue":"3","key":"15_CR16","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/185827.185843","volume":"19","author":"P. Chrysanthis","year":"1994","unstructured":"Chrysanthis, P., Ramamritham, K.: Synthesis of Extended Transaction Models Using ACTA. ACM Transactions on Database Systems\u00a019(3), 450\u2013491 (1994)","journal-title":"ACM Transactions on Database Systems"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-61052-9_45","volume-title":"Coordination Languages and Models","author":"R. DeNicola","year":"1996","unstructured":"DeNicola, R., Pugliese, R.: A Process Algebra based on Linda. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, pp. 160\u2013178. Springer, Heidelberg (1996)"},{"key":"15_CR18","volume-title":"JavaSpaces principles, patterns, and practice","author":"E. Freeman","year":"1999","unstructured":"Freeman, E., Hupfer, S., Arnold, K.: JavaSpaces principles, patterns, and practice. Addison-Wesley, Reading (1999)"},{"issue":"1","key":"15_CR19","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR20","volume-title":"Transaction Processing","author":"J. Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing. Morgan-Kaufmann, San Francisco (1993)"},{"issue":"6","key":"15_CR21","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.1145\/197320.197346","volume":"16","author":"N. Haines","year":"1994","unstructured":"Haines, N., Kindred, D., Morrisett, G., Nettles, S., Wing, J.: Composing First-Class Transactions. ACM Transactions on Programming Languages and Systems\u00a016(6), 1719\u20131736 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Honda, K., Tokoro, M.: On Asynchronous Communication Semantics. In: Tokoro, M., Nierstrasz, O., Wegner, P. (eds.) Object-Based Concurrent Computing. LNCS, vol.\u00a0612, pp. 21\u201351 (1992)","DOI":"10.1007\/3-540-55613-3_2"},{"key":"15_CR23","volume-title":"Atomic Transactions","author":"N. Lynch","year":"1994","unstructured":"Lynch, N., Merritt, M., Weihl, W., Fekete, A.: Atomic Transactions. Morgan-Kaufmann, San Francisco (1994)"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Parts I and II. Journal of Information and Computation, 100 (September 1992)","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"15_CR25","volume-title":"Nested Transactions: An Approach to Reliable Distributed Computing","author":"J. Eliot","year":"1985","unstructured":"Eliot, J., Moss, B.: Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge (1985)"},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-46000-4_26","volume-title":"Coordination Models and Languages","author":"J. Pol van de","year":"2002","unstructured":"van de Pol, J., Valero Espada, M.: Formal specification of JavaSpaces TM Architecture using \u03bcCRL. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, p. 274. Springer, Heidelberg (2002)"},{"issue":"3","key":"15_CR27","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1147\/sj.373.0454","volume":"37","author":"P. Wyckoff","year":"1998","unstructured":"Wyckoff, P., McLaughry, S., Lehman, T., Ford, D.: T Spaces. IBM Systems Journal\u00a037(3), 454\u2013474 (1998)","journal-title":"IBM Systems Journal"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24634-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T17:05:19Z","timestamp":1559927119000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24634-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540210443","9783540246343"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24634-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}