{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:39Z","timestamp":1725663579667},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572718"},{"type":"electronic","value":"9783540480297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57271-6_26","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:34:44Z","timestamp":1330259684000},"page":"39-53","source":"Crossref","is-referenced-by-count":2,"title":["Towards a necessary and sufficient condition for wait-free synchronization (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"James H.","family":"Anderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Moir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Y. Afek, H. Attiya, D. Dolev, E. Gafni, M. Merritt, and N. Shavit, \u201cAtomic Snapshots of Shared Memory\u201d, Proceedings of the Ninth Annual Symposium on Principles of Distributed Computing, 1990, pp. 1\u201314.","DOI":"10.1145\/93385.93394"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF02242703","volume":"6","author":"J. Anderson","year":"1993","unstructured":"J. Anderson, \u201cComposite Registers\u201d, Distributed Computing, Vol. 6, 1993, pp. 141\u2013154. Preliminary version appeared in Proceedings of the Ninth Annual Symposium on Principles of Distributed Computing, 1990, pp. 15\u201330.","journal-title":"Distributed Computing"},{"key":"4_CR3","unstructured":"J. Anderson, \u201cMulti-Writer Composite Registers\u201d, submitted to Distributed Computing."},{"issue":"No.3","key":"4_CR4","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF01212305","volume":"4","author":"J. Anderson","year":"1992","unstructured":"J. Anderson and M. Gouda, \u201cA Criterion for Atomicity\u201d, Formal Aspects of Computing: The International Journal of Formal Methods, Vol. 4, No. 3, May 1992, pp. 273\u2013298.","journal-title":"Formal Aspects of Computing: The International Journal of Formal Methods"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"J. Anderson and B. Gro\u0161elj, \u201cBeyond Atomic Registers: Bounded Wait-Free Implementations of Nontrivial Objects\u201d, Science of Computer Programming, 1992, pp. 192\u2013237. Preliminary version appeared as \u201cPseudo Read-Modify-Write Operations: Bounded Wait-Free Implementations\u201d, Proceedings of the Fifth International Workshop on Distributed Algorithms, Lecture Notes in Computer Science 579, Springer-Verlag, October 1991, pp. 52\u201370.","DOI":"10.1007\/BFb0022437"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"J. Aspnes and M. Herlihy, \u201cWait-Free Data Structures in the Asynchronous PRAM Model\u201d, Proceedings of the Second Annual ACM Symposium on Parallel Architectures and Algorithms, July, 1990.","DOI":"10.1145\/97444.97701"},{"issue":"No.12","key":"4_CR7","doi-asserted-by":"crossref","first-page":"1506","DOI":"10.1109\/12.9729","volume":"37","author":"B. Bloom","year":"1988","unstructured":"B. Bloom, \u201cConstructing Two-Writer Atomic Registers\u201d, IEEE Transactions on Computers, Vol. 37, No. 12, December 1988, pp. 1506\u20131514. Also appeared in Proceedings of the Sixth Annual Symposium on Principles of Distributed Computing, 1987, pp. 249\u2013259.","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"J. Burns and G. Peterson, \u201cConstructing Multi-Reader Atomic Values from Non-Atomic Values\u201d, Proceedings of the Sixth Annual Symposium on Principles of Distributed Computing, 1987, pp. 222\u2013231.","DOI":"10.1145\/41840.41859"},{"issue":"No.1","key":"4_CR9","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1145\/114005.102808","volume":"13","author":"M. Herlihy","year":"1991","unstructured":"M. Herlihy, \u201cWait-Free Synchronization\u201d, ACM Transactions on Programming Languages and Systems, Vol. 13, No. 1, 1991, pp. 124\u2013149.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"No.3","key":"4_CR10","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M. Herlihy","year":"1990","unstructured":"M. Herlihy and J. Wing, \u201cLinearizability: A Correctness Condition for Concurrent Objects\u201d, ACM Transactions on Programming Languages and Systems, Vol. 12, No. 3, 1990, pp. 463\u2013492.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"A. Israeli and M. Li, \u201cBounded Time-Stamps\u201d, Proceedings of the 28th IEEE Symposium on Foundations of Computer Science, 1987, pp. 371\u2013382.","DOI":"10.1109\/SFCS.1987.10"},{"key":"4_CR12","first-page":"278","volume":"312","author":"L. Kirousis","year":"1987","unstructured":"L. Kirousis, E. Kranakis, and P. Vitanyi, \u201cAtomic Multireader Register\u201d, Proceedings of the Second International Workshop on Distributed Computing, Springer Verlag Lecture Notes in Computer Science 312, 1987, pp. 278\u2013296.","journal-title":"Proceedings of the Second International Workshop on Distributed Computing"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"L. Kirousis, P. Spirakis, and P. Tsigas, \u201cReading Many Variables in One Atomic Operation: Solutions with Linear or Sublinear Complexity\u201d, Proceedings of the Fifth International Workshop on Distributed Algorithms, Lecture Notes in Computer Science 579, Springer-Verlag, October 1991, pp. 229\u2013241.","DOI":"10.1007\/BFb0022450"},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"L. Lamport, \u201cOn Interprocess Communication, Parts I and II\u201d, Distributed. Computing, Vol. 1, 1986, pp. 77\u2013101.","journal-title":"Distributed. Computing"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"M. Li, J. Tromp, and P. Vitanyi, \u201cHow to Construct Wait-Free Variables\u201d, Proceedings of International Colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science 372, Springer Verlag, 1989, pp. 488\u2013505.","DOI":"10.1007\/BFb0035779"},{"key":"4_CR16","first-page":"163","volume":"4","author":"M. Loui","year":"1987","unstructured":"M. Loui, H. Abu-Amara, \u201cMemory Requirements for Agreement Among Unreliable Asynchronous Processes\u201d, Advances in Computing Research, Vol. 4, 1987, pp. 163\u2013183.","journal-title":"Advances in Computing Research"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"R. Newman-Wolfe, \u201cA Protocol for Wait-Free, Atomic, Multi-Reader Shared Variables\u201d, Proceedings of the Sixth Annual Symposium on Principles of Distributed Computing, 1987, pp. 232\u2013248.","DOI":"10.1145\/41840.41860"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"G. Peterson and J. Burns, \u201cConcurrent Reading While Writing II: The Multi-Writer Case\u201d, Proceedings of the 28th Annual Symposium on Foundations of Computer Science, 1987.","DOI":"10.1109\/SFCS.1987.15"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"A. Singh, J. Anderson, and M. Gouda, \u201cThe Elusive Atomic Register, Revisited\u201d, Proceedings of the Sixth Annual Symposium on Principles of Distributed Computing, 1987, pp. 206\u2013221. Expanded version to appear in Journal of the ACM.","DOI":"10.1145\/41840.41858"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"J. Tromp, \u201cHow to Construct an Atomic Variable\u201d, Proceedings of the Third International Workshop on Distributed Algorithms, Lecture Notes in Computer Science 392, Springer Verlag, 1989, pp. 292\u2013302.","DOI":"10.1007\/3-540-51687-5_51"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"P. Vitanyi and B. Awerbuch, \u201cAtomic Shared Register Access by Asynchronous Hardware\u201d, Proceedings of the 27th IEEE Symposium on the Foundations of Computer Science, 1986, pp. 233\u2013243.","DOI":"10.1109\/SFCS.1986.11"}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57271-6_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:31Z","timestamp":1605647431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57271-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572718","9783540480297"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-57271-6_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}