{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T07:10:23Z","timestamp":1737097823602,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411437"},{"type":"electronic","value":"9783540400264"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40026-5_3","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T23:59:07Z","timestamp":1181692747000},"page":"44-58","source":"Crossref","is-referenced-by-count":3,"title":["Bounds for Mutual Exclusion with only Processor Consistency"],"prefix":"10.1007","author":[{"given":"Lisa","family":"Higham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jalal","family":"Kawash","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"M. Ahamad, R. Bazzi, R. John, P. Kohli, and G. Neiger. The power of processor consistency. In Proc. 5th Int\u2019l Symp. on Parallel Algorithms and Architectures, pages 251\u2013260, June 1993. Technical Report GIT-CC-92\/34, College of Computing, Georgia Institute of Technology.","DOI":"10.1145\/165231.165264"},{"issue":"l","key":"3_CR2","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1137\/S0097539794278396","volume":"27","author":"H. Attiya","year":"1998","unstructured":"H. Attiya, S. Chaudhuri, R. Friedman, and J. L. Welch. Shared memory consistency condi-tions for non-sequential execution: Definitions and programming strategies. SIAM Journal of Computing, 27(l):65\u201389, February 1998.","journal-title":"SIAM Journal of Computing"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"J. E. Burns. Symmetry in systems of asynchronous processes. In Proc. 22nd Symp. on Foundations of Computer Science, pages 169\u2013174, 1981.","DOI":"10.1109\/SFCS.1981.42"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"M. Dubois, C. Scheurich, and F. Briggs. Memory access buffering in multiprocessors.In Proc. 13th Int\u2019l Symp. on Computer Architecture, pages 434\u2013442, June 1986.","DOI":"10.1145\/17356.17406"},{"key":"3_CR5","unstructured":"J. Goodman. Cache consistency and sequential consistency. Technical Report 61, IEEE Scalable Coherent Interface Working Group, March 1989."},{"issue":"5","key":"3_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/32.588521","volume":"23","author":"G. J. Holzmann","year":"1997","unstructured":"G. J. Holzmann. The model checker SPIN. IEEE Trans, on Software Engineering, 23(5): 1\u20135, May 1997.","journal-title":"IEEE Trans, on Software Engineering"},{"key":"3_CR7","unstructured":"J. Kawash. Limitations and Capabilities of Weak Memory Consistency Systems. Ph.D. dis-sertation, Department of Computer Science, The University of Calgary, January 2000."},{"issue":"8","key":"3_CR8","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/361082.361093","volume":"17","author":"L. Lamport","year":"1974","unstructured":"L. Lamport. A new solution of Dijkstra\u2019s concurrent programming problem. Communication of the ACM, 17(8):453\u2013455, August 1974.","journal-title":"Communication of the ACM"},{"issue":"9","key":"3_CR9","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"C-28","author":"L. Lamport","year":"1979","unstructured":"L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans, on Computers, C-28(9):690\u2013691, September 1979.","journal-title":"IEEE Trans, on Computers"},{"issue":"2","key":"3_CR10","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/5383.5384","volume":"33","author":"L. Lamport","year":"1986","unstructured":"L. Lamport. The mutual exclusion problem (parts I and II). Journal of the ACM, 33(2):313\u2013326 and 327-348, April 1986.","journal-title":"Journal of the ACM"},{"key":"3_CR11","series-title":"Technical Report","first-page":"180","volume-title":"PRAM: A scalable shared memory","author":"R. J. Lipton","year":"1988","unstructured":"R. J. Lipton and J. S. Sandberg. PRAM: A scalable shared memory. Technical Report 180\u201388, Department of Computer Science, Princeton University, September 1988."},{"issue":"3","key":"3_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0020-0190(81)90106-X","volume":"12","author":"G. L. Peterson","year":"1981","unstructured":"G. L. Peterson. Myths about the mutual exclusion problem. Information Processing Letters, 12(3):115\u2013116, 1981.","journal-title":"Information Processing Letters"},{"key":"3_CR13","unstructured":"M. Raynal. Algorithms for Mutual Exclusion. The MIT Press, 1986."},{"key":"3_CR14","unstructured":"A. Silberschatz and P. B. Galvin. Operating System Concepts. John Wiley & Sons, Inc., 1999."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"P. M. B. Vitanyi and B. Awerbuch. Atomic shared register access by asynchronous hardware. In Proc. 27th Symp. on Foundations of Computer Science, 1986.","DOI":"10.1109\/SFCS.1986.11"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40026-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T06:42:22Z","timestamp":1737096142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40026-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411437","9783540400264"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-40026-5_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}