{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:44:52Z","timestamp":1742391892112},"publisher-location":"Berlin, Heidelberg","reference-count":22,"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_25","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T19:59:07Z","timestamp":1181678347000},"page":"374-388","source":"Crossref","is-referenced-by-count":10,"title":["Consistency Conditions for a CORBA Caching Service"],"prefix":"10.1007","author":[{"given":"Gregory","family":"Chockler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy","family":"Friedman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Vitenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"M. Ahamad, R. Bazzi, R. John, P. Kohli, and G. Neiger. The Power of Processor Consistency. In Proc. of the 5th ACM Symposium On Parallel Algorithms and Architectures, pages 251\u2013260, June\/July 1993.","DOI":"10.1145\/165231.165264"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"M. Ahamad, G. Neiger, P. Kohli, J. Burns, and P. Hutto. Causal Memory: Definitions, Implementation, and Programming. Distributed Computing, 9(1), 93.","DOI":"10.1007\/BF01784241"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"H. Attiya, S. Chaudhuri, R. Friedman, and J. Welch. Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions and Programming Strategies. SIAM Journal of Computing, 27(1), February 1998.","DOI":"10.1137\/S0097539794278396"},{"issue":"2","key":"25_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/176575.176576","volume":"12","author":"H. Attiya","year":"1994","unstructured":"H. Attiya and J. Welch. Sequential Consistency versus Linearizability. ACM Transactions on Computer Systems, 12(2):91\u2013122, May 1994.","journal-title":"ACM Transactions on Computer Systems"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"B. N. Bershad, M. J. Zekauskas, and W. A. Sawdon.The Midway Distributed Shared Memory System. In Proc. of the 38th IEEE Intl. Computer Conf. (COM-PCON), pages 528\u2013537, February 1993.","DOI":"10.21236\/ADA264645"},{"key":"25_CR6","unstructured":"J. B. Carter. Efficient Distributed Shared Memory Based on Multi-Protocol Rel ease Consistency. PhD thesis, Computer Science Dpt., Rice University, 1993."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"G. Chockler, D. Dolev, R. Friedman, and R. Vitenberg. Implementing a Caching Service for Distributed CORBA Objects. In Proceedings of Middleware \u201900, pages 1\u201323, April 2000. The Best Conference Paper award.","DOI":"10.1007\/3-540-45559-0_1"},{"key":"25_CR8","unstructured":"R. Friedman. Consistency Conditions for Distributed Shared Memories. PhD thesis, Department of Computer Science, The Technion, 1994."},{"issue":"3","key":"25_CR9","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M. Herlihy","year":"1990","unstructured":"M. Herlihy and J. Wing. Linearizability: A Correctness Condition for Concurrent Objects. ACM Trans, on Programming Languages and Systems, 12(3):463\u2013492, 1990.","journal-title":"ACM Trans, on Programming Languages and Systems"},{"key":"25_CR10","unstructured":"P. Hutto and M. Ahamad.Slow Memory: Weakening Consistency to Enhance Concurrency in Distributed Shared Memories.Technical Report TR GIT-ICS-89\/39, Georgia Institute of Technology, October1989."},{"key":"25_CR11","unstructured":"P. Keleher. Lazy Release Consistency for Distributed Shared Memory. PhD thesis, Department of Computer Science, Rice University, December 1994."},{"issue":"9","key":"25_CR12","doi-asserted-by":"publisher","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, 1979.","journal-title":"IEEE Trans, on Computers"},{"key":"25_CR13","unstructured":"R. Lipton and J. Sandberg. PRAM: A Scalable Shared Memory. Technical Report CS-TR-180-88, Computer Science Dpt., Princeton University, September 1988."},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"B. Liskov, A. Adya, M. Castro, M. Day, S. Ghemawat, R. Gruber, U. Maheshwari, A. Myers, and L. Shrira. Safe and efficient sharing of persistent objects in Thor. In ACM SIGMOD Intl. Symp. on Management of Data, pages 318\u2013329, June 1996.","DOI":"10.1145\/233269.233346"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"X. Liu, C. Keitz, R. vanRenesse, J. Hickey, M. Hayden, K. Birman, and R. Constable. Building Reliable, High-Performance Communication Systems from Components. In the 17th Symp. on Operating Systems Principles, December 1999.","DOI":"10.1145\/319151.319157"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"M. Mizuno, M. Raynal, and J. Zhou. Sequential Consistency in Distributed Systems. In Proceedings of the Intl Workshop\u201cTheory and Practice in Distributed Systems\u201d, pages 224\u2013241, September 1994.","DOI":"10.1007\/3-540-60042-6_16"},{"key":"25_CR17","unstructured":"OMG.The Common Object Request Broker: Architecture and Specification. 1995."},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"M. Raynal and A. Schiper. From Causal Consistency to Sequential Consistency in Shared Memory Systems. In the 15th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science, pages 180\u2013194, December 1995.","DOI":"10.1007\/3-540-60692-0_48"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"L. Rodrigues and P. Verissimo. Causal Separators for Large-Scale Multicast Communication. In Proceedings of the 15th IEEE Intl. Conference on Distributed Computing Systems, pages 83\u201391, June 1995.","DOI":"10.1109\/ICDCS.1995.500006"},{"key":"25_CR20","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0020-0190(92)90028-T","volume":"43","author":"M. Singhal","year":"1992","unstructured":"M. Singhal and A. Kshemkalyani. An Efficient Implementation of Vector Clocks. Information Processing Letters, 43:47\u201352, August 1992.","journal-title":"Information Processing Letters"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"D.B. Terry, A.J. Demers, K. Petersen, M.J. Spreitzer, M.M. Theimer, and B.B. Welsh. Session Guarantees for Weakly Consistent Replicated Data. In IEEE Conf. on Parallel and Distributed Information Systems (PDIS), pages 140\u2013149, 1994.","DOI":"10.1109\/PDIS.1994.331722"},{"issue":"l","key":"25_CR22","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/4434.749137","volume":"7","author":"M. Steen","year":"1999","unstructured":"M. van Steen, P. Homburg, and A. S. Tanenbaum. Globe: A Wide-Area Distributed System. IEEE Concurency, 7(l):70\u201378, January-March 1999.","journal-title":"IEEE Concurency"}],"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_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T22:08:05Z","timestamp":1556489285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40026-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411437","9783540400264"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-40026-5_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}