{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T05:39:57Z","timestamp":1673415597205},"reference-count":31,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":7533,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1992,12]]},"DOI":"10.1016\/0167-6423(92)90036-b","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:09:22Z","timestamp":1027656562000},"page":"197-237","source":"Crossref","is-referenced-by-count":4,"title":["Beyond atomic registers: bounded wait-free implementations of nontrivial objects"],"prefix":"10.1016","volume":"19","author":[{"given":"James H.","family":"Anderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bojan","family":"Gro\u0161elj","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/0167-6423(92)90036-B_BIB1","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","article-title":"The existence of refinement mappings","volume":"82","author":"Abadi","year":"1990","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0167-6423(92)90036-B_BIB2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/93385.93394","article-title":"Atomic snapshots of shared memory","author":"Afek","year":"1990","journal-title":"Proceedings Ninth Annual Symposium on Principles of Distributed Computing"},{"key":"10.1016\/0167-6423(92)90036-B_BIB3","series-title":"Tech. Report TR.89.26","article-title":"Multiple-writer composite registers","author":"Anderson","year":"1989"},{"key":"10.1016\/0167-6423(92)90036-B_BIB4","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/93385.93396","article-title":"Composite registers","author":"Anderson","year":"1990","journal-title":"Proceedings Ninth Annual Symposium on Principles of Distributed Computing"},{"key":"10.1016\/0167-6423(92)90036-B_BIB5","series-title":"Tech. Report TR.90.23","article-title":"The virtue of patience: concurrent programming with and without waiting","author":"Anderson","year":"1987-1990"},{"key":"10.1016\/0167-6423(92)90036-B_BIB6","doi-asserted-by":"crossref","unstructured":"J.H. Anderson and M. Gouda, A criterion for atomicity, Formal Aspects Comput. Internat. J. Formal Methods (to appear).","DOI":"10.1007\/BF01212305"},{"key":"10.1016\/0167-6423(92)90036-B_BIB7","doi-asserted-by":"crossref","DOI":"10.1145\/97444.97701","article-title":"Wait-free data structures in the asynchronous PRAM model","author":"Aspnes","year":"1990","journal-title":"Proceedings Second Annual ACM Symposium on Parallel Architectures and Algorithms"},{"key":"10.1016\/0167-6423(92)90036-B_BIB8_1","series-title":"Report CS-R8707","article-title":"On proving register atomicity","author":"Awerbuch","year":"1987"},{"key":"10.1016\/0167-6423(92)90036-B_BIB8_2","series-title":"Proceedings Eighth Conference on Foundations of Software Techniques and Theoretical Computer Science","first-page":"286","article-title":"A proof technique for register atomicity","volume":"338","author":"Awerbuch","year":"1988"},{"issue":"12","key":"10.1016\/0167-6423(92)90036-B_BIB9","doi-asserted-by":"crossref","first-page":"1506","DOI":"10.1109\/12.9729","article-title":"Constructing two-writer atomic registers","volume":"37","author":"Bloom","year":"1988","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0167-6423(92)90036-B_BIB10","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1145\/41840.41859","article-title":"constructing multi-reader atomic values from non-atomic values","author":"Burns","year":"1987","journal-title":"Proceedings Sixth Annual Symposium on Principles of Distributed Computing"},{"key":"10.1016\/0167-6423(92)90036-B_BIB11","series-title":"Parallel Program Design: A Foundation","author":"Chandy","year":"1988"},{"key":"10.1016\/0167-6423(92)90036-B_BIB12","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/41840.41848","article-title":"On processor coordination using asynchronous hardware","author":"Chor","year":"1987","journal-title":"Proceedings Sixth Annual Symposium on Principles of Distributed Computing"},{"key":"10.1016\/0167-6423(92)90036-B_BIB13","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/BF00571463","article-title":"Program proving: coroutines","volume":"2","author":"Clint","year":"1973","journal-title":"Acta Inform"},{"issue":"10","key":"10.1016\/0167-6423(92)90036-B_BIB14","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/362759.362813","article-title":"Concurrent control with readers and writers","volume":"14","author":"Courtois","year":"1971","journal-title":"Comm. ACM"},{"issue":"1","key":"10.1016\/0167-6423(92)90036-B_BIB15","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1145\/114005.102808","article-title":"Wait-free synchronization","volume":"13","author":"Herlihy","year":"1991","journal-title":"ACM Trans. Programming Languages Systems"},{"issue":"3","key":"10.1016\/0167-6423(92)90036-B_BIB16","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","article-title":"Linearizability: a correctness condition for concurrent objects","volume":"12","author":"Herlihy","year":"1990","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/0167-6423(92)90036-B_BIB17","first-page":"371","article-title":"Bounded time-stamps","author":"Israeli","year":"1987","journal-title":"Proceedings 28th IEEE Symposium on Foundations of Computer Science"},{"key":"10.1016\/0167-6423(92)90036-B_BIB18","series-title":"Proceedings Second International Workshop on Distributed Computing","first-page":"278","article-title":"Atomic multireader","volume":"312","author":"Kirousis","year":"1987"},{"issue":"4","key":"10.1016\/0167-6423(92)90036-B_BIB19","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1145\/48022.48024","article-title":"Efficient synchronization on multiprocessors with shared memory","volume":"10","author":"Kruskal","year":"1988","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/0167-6423(92)90036-B_BIB20","series-title":"Tech. Report CS-TR-2082.3","article-title":"Specifying modules to satisfy interfaces: a state transition system approach","author":"Lam","year":"1988"},{"key":"10.1016\/0167-6423(92)90036-B_BIB21","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01786227","article-title":"On interprocess communication","author":"Lamport","year":"1986","journal-title":"Distributed Comput."},{"key":"10.1016\/0167-6423(92)90036-B_BIB22","series-title":"Proceedings International Colloquium on Automata, Languages, and Programming","first-page":"488","article-title":"How to construct wait-free variables","volume":"372","author":"Li","year":"1989"},{"key":"10.1016\/0167-6423(92)90036-B_BIB23","series-title":"Advances in Computing Research","first-page":"163","article-title":"Memory requirements for agreement among unreliable asynchronous processes","author":"Loui","year":"1987"},{"key":"10.1016\/0167-6423(92)90036-B_BIB24","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/41840.41860","article-title":"A protocol for wait-free, atomic, multi-reader shared variables","author":"Newman-Wolfe","year":"1987","journal-title":"Proceedings Sixth Annual Symposium on Principles of Distributed Computing"},{"key":"10.1016\/0167-6423(92)90036-B_BIB25","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","article-title":"An axiomatic proof technique for parallel programs I","volume":"6","author":"Owicki","year":"1976","journal-title":"Acta Inform"},{"key":"10.1016\/0167-6423(92)90036-B_BIB26","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/357195.357198","article-title":"Concurrent reading while writing","volume":"5","author":"Peterson","year":"1983","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/0167-6423(92)90036-B_BIB27","doi-asserted-by":"crossref","DOI":"10.1109\/SFCS.1987.15","article-title":"Concurrent reading while writing II: the multi-writer case","author":"Peterson","year":"1987","journal-title":"Proceedings 28th Annual Symposium on Foundations of Computer Science"},{"key":"10.1016\/0167-6423(92)90036-B_BIB28","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/41840.41858","article-title":"The elusive atomic register, revisited","author":"Singh","year":"1987","journal-title":"Proceedings Sixth Annual Symposium on Principles of Distributed Computing"},{"key":"10.1016\/0167-6423(92)90036-B_BIB29","series-title":"Proceedings Third International Workshop on Distributed Algorithms","first-page":"292","article-title":"How to construct an atomic variable","volume":"392","author":"Tromp","year":"1989"},{"key":"10.1016\/0167-6423(92)90036-B_BIB30","first-page":"233","article-title":"Atomic shared register access by asynchronous hardware","author":"Vitanyi","year":"1986","journal-title":"Proceedings 27th IEEE Symposium on the Foundations of Computer Science"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016764239290036B?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016764239290036B?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T17:55:05Z","timestamp":1555091705000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016764239290036B"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["016764239290036B"],"URL":"https:\/\/doi.org\/10.1016\/0167-6423(92)90036-b","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}