{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:50:01Z","timestamp":1725529801442},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540922940"},{"type":"electronic","value":"9783540922957"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-92295-7_11","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T08:00:00Z","timestamp":1237968000000},"page":"67-78","source":"Crossref","is-referenced-by-count":5,"title":["Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort"],"prefix":"10.1007","author":[{"given":"Damien","family":"Imbs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Raynal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-69355-0_12","volume-title":"Structural Information and Communication Complexity","author":"H. Avni","year":"2008","unstructured":"Avni, H., Shavit, N.: Maintaining Consistent Transactional States without a Global Clock. In: Shvartsman, A.A., Felber, P. (eds.) SIROCCO 2008. LNCS, vol.\u00a05058, pp. 121\u2013140. Springer, Heidelberg (2008)"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/11864219_14","volume-title":"Distributed Computing","author":"D. Dice","year":"2006","unstructured":"Dice, D., Shalev, O., Shavit, N.: Transactional Locking II. In: Dolev, S. (ed.) DISC 2006. LNCS, vol.\u00a04167, pp. 194\u2013208. Springer, Heidelberg (2006)"},{"issue":"1","key":"11_CR3","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/1360443.1360456","volume":"39","author":"P. Felber","year":"2008","unstructured":"Felber, P., Fetzer, C., Guerraoui, R., Harris, T.: Transactions are coming Back, but Are They The Same? ACM Sigact News, Distributed Computing Column\u00a039(1), 48\u201358 (2008)","journal-title":"ACM Sigact News, Distributed Computing Column"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Gramoli, V., Harmanci, D., Felber, P.: Towards a Theory of Input Acceptance for Transactional Memories. LPD-REPORT-2008-009, Distributed Programming Lab, EPFL (2008)","DOI":"10.1007\/978-3-540-92221-6_33"},{"key":"11_CR5","first-page":"175","volume-title":"Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2008)","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Kapa\u0142ka, M.: On the Correctness of Transactional Memory. In: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2008), pp. 175\u2013184. ACM Press, New York (2008)"},{"issue":"3","key":"11_CR6","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M.P. Herlihy","year":"1990","unstructured":"Herlihy, M.P., Wing, J.M.: Linearizability: a Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems\u00a012(3), 463\u2013492 (1990)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-540-92221-6_16","volume-title":"OPODIS 2008","author":"D. Imbs","year":"2008","unstructured":"Imbs, D., Raynal, M.: A Lock-based STM Protocol that Satisfies Opacity and Progressiveness. In: Baker, T.P., Bui, A., Tixeuil, S. (eds.) OPODIS 2008. LNCS, vol.\u00a05401, pp. 226\u2013245. Springer, Heidelberg (2008)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Imbs, D., Raynal, M.: Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. Tech Report, #1894, IRISA, Univ. de Rennes 1, France (May 2008)","DOI":"10.1007\/978-3-540-92295-7_11"},{"issue":"9","key":"11_CR9","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"28","author":"L. Lamport","year":"1979","unstructured":"Lamport, L.: How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers\u00a0C28(9), 690\u2013691 (1979)","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Raynal, M.: Sequential Consistency as Lazy Linearizability. BA. In: Proc. 14th ACM Symposium on Parallel Algorithms and Architectures (SPAA 2002), Winnipeg, pp. 151\u2013152 (2002)","DOI":"10.1145\/564870.564896"},{"key":"11_CR11","first-page":"221","volume-title":"Proc. 19th annual ACM Symposium on Parallel Algorithms and Architectures (SPAA 2007)","author":"T. Riegel","year":"2007","unstructured":"Riegel, T., Fetzer, C., Felber, P.: Time-based Transactional Memory with Scalable Time Bases. In: Proc. 19th annual ACM Symposium on Parallel Algorithms and Architectures (SPAA 2007), pp. 221\u2013228. ACM Press, New York (2007)"},{"issue":"2","key":"11_CR12","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s004460050028","volume":"10","author":"N. Shavit","year":"1997","unstructured":"Shavit, N., Touitou, D.: Software Transactional Memory. Distributed Computing\u00a010(2), 99\u2013116 (1997)","journal-title":"Distributed Computing"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Networking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92295-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T02:06:26Z","timestamp":1589681186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92295-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540922940","9783540922957"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92295-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}