{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:47:37Z","timestamp":1725893257302},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642344060"},{"type":"electronic","value":"9783642344077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34407-7_2","type":"book-chapter","created":{"date-parts":[[2012,11,6]],"date-time":"2012-11-06T00:58:14Z","timestamp":1352163494000},"page":"17-34","source":"Crossref","is-referenced-by-count":1,"title":["Fairness for Transactional Events"],"prefix":"10.1007","author":[{"given":"Edward","family":"Amsden","sequence":"first","affiliation":[]},{"given":"Matthew","family":"Fluet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Amsden, E., Fluet, M.: Fainess for transactional events. Tech. rep., Rochester Institute of Technology (March 2012), https:\/\/ritdml.rit.edu\/handle\/1850\/14852","DOI":"10.1007\/978-3-642-34407-7_2"},{"issue":"3","key":"2_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0890-5401(87)90013-7","volume":"73","author":"G. Costa","year":"1987","unstructured":"Costa, G., Stirling, C.: Weak and strong fairness in CCS. Information and Computation\u00a073(3), 207\u2013244 (1987)","journal-title":"Information and Computation"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Donnelly, K., Fluet, M.: Transactional events. In: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP 2006), pp. 124\u2013135. ACM Press (2006)","DOI":"10.1145\/1160074.1159821"},{"issue":"5-6","key":"2_CR4","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1017\/S0956796808006916","volume":"18","author":"K. Donnelly","year":"2008","unstructured":"Donnelly, K., Fluet, M.: Transactional events. The Journal of Functional Programming\u00a018(5-6), 649\u2013706 (2008)","journal-title":"The Journal of Functional Programming"},{"key":"2_CR5","volume-title":"Fairness. Texts and Monographs in Computer Science","author":"N. Francez","year":"1986","unstructured":"Francez, N.: Fairness. Texts and Monographs in Computer Science. Springer, New York (1986)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Harris, T., Marlow, S., Peyton Jones, S., Herlihy, M.: Composable memory transactions. In: Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2005), pp. 48\u201360. ACM Press (2005)","DOI":"10.1145\/1065944.1065952"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Luchangco, V., Moir, M., Scherer III, W.N.: Software transactional memory for dynamic-sized data structures. In: Proceedings of the 22nd Annual Symposium on Principles of Distributed Computing (PODC 2003), pp. 92\u2013101. ACM Press (2003)","DOI":"10.1145\/872035.872048"},{"issue":"7","key":"2_CR8","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/0950-5849(89)90159-6","volume":"31","author":"M. Kwiatkowska","year":"1989","unstructured":"Kwiatkowska, M.: Survey of fairness notions. Information and Software Technology\u00a031(7), 371\u2013386 (1989)","journal-title":"Information and Software Technology"},{"key":"2_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511574962","volume-title":"Concurrent Programming in ML","author":"J. Reppy","year":"1999","unstructured":"Reppy, J.: Concurrent Programming in ML. Cambridge University Press, Cambridge (1999)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Scherer III, W.N., Scott, M.L.: Advanced contention management for dynamic software transactional memory. In: Proceedings of the 24th Annual Symposium on Principles of Distributed Computing (PODC 2005), pp. 240\u2013248. ACM Press (2005)","DOI":"10.1145\/1073814.1073861"},{"issue":"2","key":"2_CR11","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"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Spear, M.F., Dalessandro, L., Marathe, V.J., Scott, M.L.: A comprehensive strategy for contention management in software transactional memory. In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2005), pp. 141\u2013150. ACM Press (2009)","DOI":"10.1145\/1504176.1504199"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34407-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,30]],"date-time":"2022-01-30T22:47:49Z","timestamp":1643582869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34407-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642344060","9783642344077"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34407-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}