{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:40:46Z","timestamp":1725518446762},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540877783"},{"type":"electronic","value":"9783540877790"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87779-0_21","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T05:17:14Z","timestamp":1222060634000},"page":"305-319","source":"Crossref","is-referenced-by-count":41,"title":["Permissiveness in Transactional Memories"],"prefix":"10.1007","author":[{"given":"Rachid","family":"Guerraoui","sequence":"first","affiliation":[]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[]},{"given":"Vasu","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","first-page":"194","volume-title":"DISC","author":"D. Dice","year":"2006","unstructured":"Dice, D., Shalev, O., Shavit, N.: Transactional locking ii. In: DISC, pp. 194\u2013208. Springer, Heidelberg (2006)"},{"key":"21_CR2","unstructured":"Fraser, K.: Practical Lock Freedom. PhD thesis, Computer Laboratory, University of Cambridge (2003)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Fraser, K., Harris, T.: Concurrent programming without locks. ACM Trans. Comput. Syst. (2007)","DOI":"10.1145\/1233307.1233309"},{"key":"21_CR4","first-page":"372","volume-title":"PLDI","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Henzinger, T.A., Jobstmann, B., Singh, V.: Model checking transactional memories. In: PLDI, pp. 372\u2013382. ACM Press, New York (2008)"},{"key":"21_CR5","volume-title":"CONCUR","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Henzinger, T.A., Singh, V.: Nondeterminism and completeness in transactional memories. In: CONCUR. Springer, Heidelberg (2008)"},{"key":"21_CR6","unstructured":"Guerraoui, R., Herlihy, M., Kapa\u0142ka, M., Pochon, B.: Robust contention management in software transactional memory. In: SCOOL (October 2005)"},{"key":"21_CR7","volume-title":"PPoPP","author":"R. Guerraoui","year":"2008","unstructured":"Guerraoui, R., Kapa\u0142ka, M.: On the correctness of transactional memory. In: PPoPP. ACM Press, New York (2008)"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: OOPSLA, pp. 388\u2013402 (2003)","DOI":"10.1145\/949343.949340"},{"key":"21_CR9","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/872035.872048","volume-title":"PODC","author":"M. Herlihy","year":"2003","unstructured":"Herlihy, M., Luchangco, V., Moir, M., Scherer, W.N.: Software transactional memory for dynamic-sized data structures. In: PODC, pp. 92\u2013101. ACM Press, New York (2003)"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Papadimitriou, C.H.: The serializability of concurrent database updates. J. ACM, 631\u2013653 (1979)","DOI":"10.1145\/322154.322158"},{"key":"21_CR11","first-page":"284","volume-title":"DISC","author":"T. Riegel","year":"2006","unstructured":"Riegel, T., Felber, P., Fetzer, C.: A lazy snapshot algorithm with eager validation. In: DISC, pp. 284\u2013298. Springer, Heidelberg (2006)"},{"key":"21_CR12","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1145\/1073814.1073861","volume-title":"PODC","author":"W.N. Scherer","year":"2005","unstructured":"Scherer, W.N., Scott, M.L.: Advanced contention management for dynamic software transactional memory. In: PODC, pp. 240\u2013248. ACM Press, New York (2005)"},{"key":"21_CR13","unstructured":"Scott, M.L.: Sequential specification of transactional memory semantics. In: ACM SIGPLAN WTC (2006)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87779-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T04:07:14Z","timestamp":1714795634000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-87779-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540877783","9783540877790"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87779-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}