{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:21:59Z","timestamp":1725560519094},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213130"},{"type":"electronic","value":"9783540247258"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24725-8_18","type":"book-chapter","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T20:15:44Z","timestamp":1280261744000},"page":"249-263","source":"Crossref","is-referenced-by-count":24,"title":["A Semantic Framework for Designer Transactions"],"prefix":"10.1007","author":[{"given":"Jan","family":"Vitek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Welc","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antony L.","family":"Hosking","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","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":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-45694-5_22","volume-title":"CONCUR 2002 - Concurrency Theory","author":"R. Bruni","year":"2002","unstructured":"Bruni, R., Laneve, C., Montanari, U.: Orchestrating Transactions in Join Calculus. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, p. 321. Springer, Heidelberg (2002)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: On the Serializability of Transactions in JavaSpaces. In: ConCoord 2001, International Workshop on Concurrency and Coordination (2001)","DOI":"10.1016\/S1571-0661(04)00238-5"},{"key":"18_CR4","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":"18_CR5","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"},{"issue":"4","key":"18_CR6","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1002\/(SICI)1097-024X(20000410)30:4<325::AID-SPE302>3.0.CO;2-Q","volume":"30","author":"L. Dayn\u00e8s","year":"2000","unstructured":"Dayn\u00e8s, L.: Implementation of automated fine-granularity locking in a persistent programming language. Software\u2014Practice and Experience\u00a030(4), 325\u2013361 (2000)","journal-title":"Software\u2014Practice and Experience"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1109\/ICDE.2001.914825","volume-title":"Proceedings of the International Conference on Data Engineering","author":"L. Dayn\u00e8s","year":"2001","unstructured":"Dayn\u00e8s, L., Czajkowski, G.: High-performance, space-efficient, automated object locking. In: Proceedings of the International Conference on Data Engineering, pp. 163\u2013172. IEEE Computer Society, Los Alamitos (2001)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Dayn\u00e8s, L., Czajkowski, G.: Lightweight flexible isolation for language-based extensible systems. In: Proceedings of the International Conference on Very Large Data Bases (2002)","DOI":"10.1016\/B978-155860869-6\/50069-X"},{"issue":"12","key":"18_CR9","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/2.16189","volume":"21","author":"D.D. Detlefs","year":"1988","unstructured":"Detlefs, D.D., Herlihy, M.P., Wing, J.M.: Inheritance of synchronization and recovery in Avalon\/C++. IEEE Computer\u00a021(12), 57\u201369 (1988)","journal-title":"IEEE Computer"},{"volume-title":"Camelot and Avalon: A Distributed Transaction Facility","year":"1991","key":"18_CR10","unstructured":"Eppinger, J.L., Mummert, L.B., Spector, A.Z. (eds.): Camelot and Avalon: A Distributed Transaction Facility. Morgan Kaufmann, San Francisco (1991)"},{"key":"18_CR11","unstructured":"Garthwaite, A., Nettles, S.: Transactions for Java. In: Atkinson, M.P., Jordan, M.J. (eds.) Proceedings of the First International Workshop on Persistence and Java, pp. 6\u201314. Sun Microsystems Laboratories Technical Report 96-58 (November 1996)"},{"key":"18_CR12","volume-title":"Transaction Processing","author":"J. Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing. Morgan-Kaufmann, San Francisco (1993)"},{"issue":"6","key":"18_CR13","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.1145\/197320.197346","volume":"16","author":"N. Haines","year":"1994","unstructured":"Haines, N., Kindred, D., Gregory Morrisett, J., Nettles, S.M., Wing, J.M.: 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"},{"issue":"3","key":"18_CR14","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"18_CR15","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/2166.357215","volume":"5","author":"B. Liskov","year":"1983","unstructured":"Liskov, B., Scheifler, R.: Guardians and actions: Linguistic support for robust distributed programs. ACM Transactions on Programming Languages and Systems\u00a05(3), 381\u2013404 (1983)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR16","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":"18_CR17","first-page":"33","volume-title":"Proceedings of the Second Symposium on Reliability in Distributed Software and Database Systems","author":"J. Eliot","year":"1982","unstructured":"Eliot, J., Moss, B.: Nested transactions: An approach to reliable distributed computing. In: Proceedings of the Second Symposium on Reliability in Distributed Software and Database Systems, pp. 33\u201339. IEEE Computer Society, Los Alamitos (1982)"},{"key":"18_CR18","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)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24725-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:31:33Z","timestamp":1559316693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24725-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213130","9783540247258"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24725-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}