{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T12:38:39Z","timestamp":1780663119774,"version":"3.54.1"},"reference-count":9,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1993,12,1]],"date-time":"1993-12-01T00:00:00Z","timestamp":754704000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[1993,12]]},"DOI":"10.1016\/0020-0190(93)90083-l","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:37:30Z","timestamp":1027654650000},"page":"215-220","source":"Crossref","is-referenced-by-count":3,"title":["A simple correctness proof of the MCS contention-free lock"],"prefix":"10.1016","volume":"48","author":[{"given":"Theodore","family":"Johnson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krishna","family":"Harathi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/0020-0190(93)90083-L_BIB1","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/71.80120","article-title":"The performance of spin lock alternatives for shared memory multiprocessors","volume":"1","author":"Anderson","year":"1990","journal-title":"IEEE Trans. Parallel Distributed Systems"},{"issue":"2","key":"10.1016\/0020-0190(93)90083-L_BIB2","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/2.15","article-title":"Synchronization, coherence, and event ordering in multiprocessors","volume":"21","author":"Dubois","year":"1988","journal-title":"IEEE Computer"},{"key":"10.1016\/0020-0190(93)90083-L_BIB3","series-title":"Supercomputing '91","article-title":"Characterizing memory hotspots in a shared memory mimb machine","author":"Glenn","year":"1991"},{"issue":"3","key":"10.1016\/0020-0190(93)90083-L_BIB4","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","journal-title":"ACM Trans. Programming Languages Systems"},{"issue":"9","key":"10.1016\/0020-0190(93)90083-L_BIB5","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","article-title":"How to make a multiprocessor computer that correctly executes multiprocess programs","volume":"28","author":"Lamport","year":"1979","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0020-0190(93)90083-L_BIB6","series-title":"Tech. Rept. TR90-114","article-title":"Algorithms for scalable synchronization on shared-memory multiprocessors","author":"Mellor-Crummey","year":"1990"},{"issue":"1","key":"10.1016\/0020-0190(93)90083-L_BIB7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/103727.103729","article-title":"Algorithms for scalable synchronization on shared-memory multiprocessors","volume":"9","author":"Mellor-Crummey","year":"1991","journal-title":"ACM Trans. Comput. Systems."},{"issue":"1","key":"10.1016\/0020-0190(93)90083-L_BIB8","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/42201.42204","article-title":"Concurrent search structure algorithms","volume":"13","author":"Shasha","year":"1988","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0020-0190(93)90083-L_BIB9","series-title":"Operating System Concepts","author":"Silberschatz","year":"1991"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002001909390083L?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002001909390083L?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T08:28:50Z","timestamp":1555144130000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/002001909390083L"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,12]]},"references-count":9,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1993,12]]}},"alternative-id":["002001909390083L"],"URL":"https:\/\/doi.org\/10.1016\/0020-0190(93)90083-l","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[1993,12]]}}}