{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:37:00Z","timestamp":1725806220049},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662451731"},{"type":"electronic","value":"9783662451748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45174-8_26","type":"book-chapter","created":{"date-parts":[[2014,9,29]],"date-time":"2014-09-29T11:28:20Z","timestamp":1411990100000},"page":"376-390","source":"Crossref","is-referenced-by-count":14,"title":["Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient"],"prefix":"10.1007","author":[{"given":"Hagit","family":"Attiya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexey","family":"Gotsman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep","family":"Hans","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noam","family":"Rinetzky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"C.H. Papadimitriou","year":"1979","unstructured":"Papadimitriou, C.H.: The serializability of concurrent database updates. J. ACM\u00a026, 631\u2013653 (1979)","journal-title":"J. ACM"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Guerraoui, R., Kapalka, M.: On the correctness of transactional memory. In: PPOPP, pp. 175\u2013184 (2008)","DOI":"10.1145\/1345206.1345233"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.tcs.2012.04.037","volume":"444","author":"D. Imbs","year":"2012","unstructured":"Imbs, D., Raynal, M.: Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations). Theor. Comput. Sci.\u00a0444, 113\u2013127 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Attiya, H., Hans, S., Kuznetsov, P., Ravi, S.: Safety of deferred update in transactional memory. In: ICDCS (2013)","DOI":"10.1109\/ICDCS.2013.57"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1007\/s00165-012-0225-8","volume":"25","author":"S. Doherty","year":"2013","unstructured":"Doherty, S., Groves, L., Luchangco, V., Moir, M.: Towards formally specifying and verifying transactional memory. Formal Aspects of Computing\u00a025, 769\u2013799 (2013)","journal-title":"Formal Aspects of Computing"},{"key":"26_CR6","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0020-0190(87)90224-9","volume":"25","author":"J. He","year":"1987","unstructured":"He, J., Hoare, C., Sanders, J.: Prespecification in data refinement. Information Processing Letters\u00a025, 71\u201376 (1987)","journal-title":"Information Processing Letters"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-16442-1_14","volume-title":"ESOP 86","author":"J. He","year":"1986","unstructured":"He, J., Hoare, C., Sanders, J.: Data refinement refined. In: Robinet, B., Wilhelm, R. (eds.) ESOP 1986. LNCS, vol.\u00a0213, pp. 187\u2013196. Springer, Heidelberg (1986)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Attiya, H., Gotsman, A., Hans, S., Rinetzky, N.: A programming language perspective on transactional memory consistency. In: PODC, pp. 309\u2013318 (2013)","DOI":"10.1145\/2484239.2484267"},{"key":"26_CR9","unstructured":"Scala STM Expert Group: Scala STM quick start guide (2012), \n                    \n                      http:\/\/nbronson.github.io\/scala-stm\/quick_start.html"},{"key":"26_CR10","unstructured":"Lesani, M., Luchangco, V., Moir, M.: Putting opacity in its place. In: WTTM (2012)"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Attiya, H., Gotsman, A., Hans, S., Rinetzky, N.: Safety of live transactions in transactional memory: Tms is necessary and sufficient. Technical Report CS-2014-02, Technion (2014)","DOI":"10.1007\/978-3-662-45174-8_26"},{"key":"26_CR12","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M. Herlihy","year":"1990","unstructured":"Herlihy, M., Wing, J.M.: Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems\u00a012, 463\u2013492 (1990)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"26_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-642-22012-8_36","volume-title":"Automata, Languages and Programming","author":"A. Gotsman","year":"2011","unstructured":"Gotsman, A., Yang, H.: Liveness-preserving atomicity abstraction. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part II. LNCS, vol.\u00a06756, pp. 453\u2013465. Springer, Heidelberg (2011)"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-642-00590-9_19","volume-title":"Programming Languages and Systems","author":"I. Filipovi\u0107","year":"2009","unstructured":"Filipovi\u0107, I., O\u2019Hearn, P., Rinetzky, N., Yang, H.: Abstraction for concurrent objects. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 252\u2013266. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45174-8_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:47:29Z","timestamp":1558990049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45174-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662451731","9783662451748"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45174-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}