{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:40:02Z","timestamp":1736084402930,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552369"},{"type":"electronic","value":"9783540467892"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0022439","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:03:27Z","timestamp":1131861807000},"page":"80-94","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Implementing FIFO queues and stacks"],"prefix":"10.1007","author":[{"given":"Hagit","family":"Attiya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"6_CR1","unstructured":"S. Adve and M. Hill, \u201cImplementing Sequential Consistency in Cache-Based Systems,\u201d Proc. Int. Conf. on Parallel Processing, 1990."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Y. Afek, G. Brown, and M. Merritt. \u201cA Lazy Cache Algorithm,\u201d Proc. 1st ACM Symp. on Parallel Algorithms and Architectures, 1989, pp. 209\u2013222.","DOI":"10.1145\/72935.72958"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"H. Attiya and J. L. Welch, \u201cSequential Consistency versus Linearizability,\u201d Proc. 3rd ACM Symp. on Parallel Algorithms and Architectures, 1991, pp. 305\u2013315.","DOI":"10.1145\/113379.113407"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"J. Bennett, J. Carter, and W. Zwaenepoel, \u201cMunin: Distributed Shared Memory Based on Type-Specific Memory Coherence,\u201d Proc. 2nd ACM Symp. on Principles and Practice of Parallel Programming, 1990, pp. 168\u2013176.","DOI":"10.1145\/99164.99182"},{"key":"6_CR5","unstructured":"R. Bisiani, A. Nowatzyk, and M. Ravishankar, \u201cCoherent Shared Memory on a Distributed Memory Machine,\u201d Proc. Int. Conf. on Parallel Processing, 1989, pp. I-133\u2013141."},{"key":"6_CR6","volume-title":"Concurrency Control and Recovery in Database Systems","author":"P. Bernstein","year":"1987","unstructured":"P. Bernstein, V. Hadzilacos, and H. Goodman, Concurrency Control and Recovery in Database Systems, Addison-Wesley, Reading, MA, 1987."},{"issue":"No.1","key":"6_CR7","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/7351.7478","volume":"5","author":"K. Birman","year":"1987","unstructured":"K. Birman and T. Joseph, \u201cReliable Communication in the Presence of Failures,\u201d ACM Trans. on Computer Systems, Vol. 5, No. 1 (February 1987), pp. 47\u201376.","journal-title":"ACM Trans. on Computer Systems"},{"key":"6_CR8","unstructured":"W. Brantley, K. McAuliffe, and J. Weiss, \u201cRP3 Processor-Memory Element,\u201d Proc. Int. Conf. on Parallel Processing, 1985, pp. 782\u2013789."},{"issue":"no.6","key":"6_CR9","doi-asserted-by":"crossref","first-page":"660","DOI":"10.1109\/32.55094","volume":"16","author":"M. Dubois","year":"1990","unstructured":"M. Dubois and C. Scheurich, \u201cMemory Access Dependencies in Shared-Memory Multiprocessors\u201d, IEEE Trans. on Software Engineering, vol. 16, no. 6 (June 1990), pp. 660\u2013673.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"M. Herlihy, \u201cWait-Free Implementations of Concurrent Objects,\u201d Proc. 7th ACM Symp. on Principles of Distributed Computing, 1988, pp. 276\u2013290.","DOI":"10.1145\/62546.62593"},{"issue":"No.3","key":"6_CR11","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 Trans, on Programming Languages and Systems, Vol. 12, No. 3 (July 1990), pp. 463\u2013492.","journal-title":"ACM Trans, on Programming Languages and Systems"},{"issue":"No.9","key":"6_CR12","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"C-28","author":"L. Lamport","year":"1979","unstructured":"L. Lamport, \u201cHow to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs,\u201d IEEE Trans. on Computers, Vol. C-28, No. 9 (September 1979), pp. 690\u2013691.","journal-title":"IEEE Trans. on Computers"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"K. Li and P. Hudak, \u201cMemory Coherence in Shared Virtual Memory Systems,\u201d ACM Trans. on Computer Systems, vol. 7, no. 4, pp. 321\u2013359.","DOI":"10.1145\/75104.75105"},{"key":"6_CR14","unstructured":"R. Lipton and J. Sandberg, PRAM: A Scalable Shared Memory, Technical Report CS-TR-180-88, Princeton University, September 1988."},{"issue":"Nos.2\/3","key":"6_CR15","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/S0019-9958(84)80033-9","volume":"62","author":"J. Lundelius","year":"1984","unstructured":"J. Lundelius and N. Lynch, \u201cAn Upper and Lower Bound for Clock Synchronization,\u201d Information and Control, Vol. 62, Nos. 2\/3 (August\/September 1984), pp. 190\u2013204.","journal-title":"Information and Control"},{"key":"6_CR16","unstructured":"S. Min and J. Baer, \u201cA Timestamp-Based Cache Coherence Scheme,\u201d Proc. Int. Conf. on Parallel Processing, 1989, pp. I\u201323\u201332."},{"key":"6_CR17","volume-title":"The Theory of Concurrency Control","author":"C. Papadimitriou","year":"1986","unstructured":"C. Papadimitriou, The Theory of Concurrency Control, Computer Science Press, Rockville, MD, 1986."},{"key":"6_CR18","unstructured":"U. Ramachandran, M. Ahamad, and M. Y. Khalidi, \u201cCoherence of Distributed Shared Memory: Unifying Synchronization and Data Transfer,\u201d Proc. Int. Conf. on Parallel Processing, 1989, pp. II\u2013160\u2013169."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"C. Scheurich and M. Dubois, \u201cCorrect Memory Operation of Cache-Based Multiprocessors,\u201d Proc. 14th Int. Symp. on Computer Architecture, 1987, pp. 234\u2013243.","DOI":"10.1145\/30350.30377"}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022439","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T12:59:52Z","timestamp":1736081992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022439"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552369","9783540467892"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0022439","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"10 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}