{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:19:00Z","timestamp":1742397540963},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291633"},{"type":"electronic","value":"9783540320753"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11561927_23","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T10:14:47Z","timestamp":1128939287000},"page":"303-323","source":"Crossref","is-referenced-by-count":63,"title":["Polymorphic Contention Management"],"prefix":"10.1007","author":[{"given":"Rachid","family":"Guerraoui","sequence":"first","affiliation":[]},{"given":"Maurice","family":"Herlihy","sequence":"additional","affiliation":[]},{"given":"Bastian","family":"Pochon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"23_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"E. Dijkstra","year":"1971","unstructured":"Dijkstra, E.: Hierarchical ordering of sequential processes. Acta Informatica\u00a01(2), 115\u2013138 (1971)","journal-title":"Acta Informatica"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/3-540-10003-2_78","volume-title":"Automata, Languages and Programming","author":"J. Gray","year":"1980","unstructured":"Gray, J.: A transaction model, automata languages and programming. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 282\u2013298. Springer, Heidelberg (1980)"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/BFb0052179","volume-title":"Object-Oriented Programming","author":"R. Guerraoui","year":"1994","unstructured":"Guerraoui, R.: Atomic object composition. In: Tokoro, M., Pareschi, R. (eds.) ECOOP 1994. LNCS, vol.\u00a0821, pp. 118\u2013138. Springer, Heidelberg (1994)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/BFb0053036","volume-title":"ECOOP \u201992 European Conference on Object-Oriented Programming","author":"R. Guerraoui","year":"1992","unstructured":"Guerraoui, R., Capobianchi, R., Lanusse, A., Roux, P.: Nesting actions through asynchronous message passing: the ACS protocol. In: Lehrmann Madsen, O. (ed.) ECOOP 1992. LNCS, vol.\u00a0615, pp. 170\u2013184. Springer, Heidelberg (1992)"},{"key":"23_CR5","volume-title":"PODC\u201905: Proceedings of the twenty-fourth annual symposium on Principles of Distributed Computing","author":"R. Guerraoui","year":"2005","unstructured":"Guerraoui, R., Herlihy, M., Pochon, B.: Toward a theory of contention managers. In: PODC 2005: Proceedings of the twenty-fourth annual symposium on Principles of Distributed Computing. ACM Press, New York (2005)"},{"issue":"9","key":"23_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/2.612253","volume":"30","author":"L. Hammond","year":"1997","unstructured":"Hammond, L., Nayfeh, B., Olukotun, K.: A single-chip multiprocessor. Computer\u00a030(9), 79\u201385 (1997)","journal-title":"Computer"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: OOPSLA 2003: Proceedings of the eighteenth ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (October 2003)","DOI":"10.1145\/949338.949340"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Harris, T., Marlow, S., Jones, S., Herlihy, M.: Composable memory transaction. Technical report, Microsoft Research Cambridge (December 2004)","DOI":"10.1145\/1065944.1065952"},{"key":"23_CR9","first-page":"522","volume-title":"ICDCS 2003: Proceedings of the twenty-third International Conference on Distributed Computing Systems","author":"M. Herlihy","year":"2003","unstructured":"Herlihy, M., Luchangco, V., Moir, M.: Obstruction-free synchronization: Double-ended queues as an example. In: ICDCS 2003: Proceedings of the twenty-third International Conference on Distributed Computing Systems, p. 522. IEEE Computer Society, Los Alamitos (2003)"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/872035.872048","volume-title":"PODC 2003: Proceedings of the twenty-second annual symposium on Principles of distributed computing","author":"M. Herlihy","year":"2003","unstructured":"Herlihy, M., Luchangco, V., Moir, M., Scherer, W.: Software transactional memory for dynamic-sized data structures. In: PODC 2003: Proceedings of the twenty-second annual symposium on Principles of distributed computing, pp. 92\u2013101. ACM Press, New York (2003)"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/165123.165164","volume-title":"ISCA 1993: Proceedings of the twentieth Annual International Symposium on Computer Architecture","author":"M. Herlihy","year":"1993","unstructured":"Herlihy, M., Moss, J.: Transactional memory: architectural support for lock-free data structures. In: ISCA 1993: Proceedings of the twentieth Annual International Symposium on Computer Architecture, pp. 289\u2013300. ACM Press, New York (1993)"},{"issue":"3","key":"23_CR12","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/42392.42399","volume":"31","author":"B. Liskov","year":"1988","unstructured":"Liskov, B.: Distributed programming in argus. Communication of ACM\u00a031(3), 300\u2013312 (1988)","journal-title":"Communication of ACM"},{"key":"23_CR13","unstructured":"Moss, J.E.: Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, MIT (1981)"},{"issue":"4","key":"23_CR14","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"C. Papadimitriou","year":"1979","unstructured":"Papadimitriou, C.: The serializability of concurrent database updates. Journal of the ACM\u00a026(4), 631\u2013653 (1979)","journal-title":"Journal of the ACM"},{"key":"23_CR15","unstructured":"Microsoft Research. C# software transactional memory, http:\/\/research.microsoft.com\/research\/downloads\/default.aspx"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Scherer, W., Scott, M.: Contention management in dynamic software transactional memory. In: Workshop on Concurrency and Synchronization in Java Programs (July 2004)","DOI":"10.1145\/1073814.1073861"},{"key":"23_CR17","volume-title":"PODC 2005: Proceedings of the twenty-fourth annual symposium on Principles of Distributed Computing","author":"W. Scherer","year":"2005","unstructured":"Scherer, W., Scott, M.: Advanced contention management for dynamic software transactional memory. In: PODC 2005: Proceedings of the twenty-fourth annual symposium on Principles of Distributed Computing. ACM Press, New York (2005)"},{"issue":"3","key":"23_CR18","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/989.1188","volume":"2","author":"P. Schwarz","year":"1984","unstructured":"Schwarz, P., Spector, A.: Synchronizing shared abstract types. ACM Transactions on Computer Systems\u00a02(3), 223\u2013250 (1984)","journal-title":"ACM Transactions on Computer Systems"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Weihl, W.: Specification and Implementation of Atomic Data Types. PhD thesis, MIT (1984)","DOI":"10.1145\/800226.806851"},{"issue":"2","key":"23_CR20","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/63264.63518","volume":"11","author":"W. Weihl","year":"1989","unstructured":"Weihl, W.: Local atomicity properties: modular concurrency control for abstract data types. ACM Transactions on Programming Languages and Systems\u00a011(2), 249\u2013282 (1989)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11561927_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T21:40:57Z","timestamp":1683236457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11561927_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291633","9783540320753"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11561927_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}