{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,25]],"date-time":"2023-04-25T16:58:14Z","timestamp":1682441894940},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"11-12","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann. T\u00e9l\u00e9commun."],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1007\/bf02997620","type":"journal-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T08:34:26Z","timestamp":1625646866000},"page":"652-661","source":"Crossref","is-referenced-by-count":3,"title":["A suite of definitions for consistency criteria in distributed shared memories"],"prefix":"10.1007","volume":"52","author":[{"given":"Michel","family":"Raynal","sequence":"first","affiliation":[]},{"given":"Andr\u00e9","family":"Schiper","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02997620_CR1","doi-asserted-by":"crossref","unstructured":"ADVE (S. V.), HILL (M. D.). Weak ordering - a new definition.Proc. 17th Annual ISCA (Int. Symposium on Computer Architecture) (1990), pp. 2-20.","DOI":"10.1145\/325164.325100"},{"issue":"1","key":"BF02997620_CR2","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1145\/151646.151651","volume":"15","author":"(Y.) AFEK","year":"1993","unstructured":"AFEK (Y.), BROWN (G.), MERRITT (M.). Lazy caching.ACM Transactions on Programming Languages and Systems (1993),15, n\u00b0 1, pp. 182\u2013205.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF02997620_CR3","doi-asserted-by":"crossref","unstructured":"AGRAWAL (D.), CHOY (M.), LEONG (H. V.), SINGH (A.). Mixed consistency : a model for parallel programming.In Proc. 13th ACM Symposium on Principles of Dist. Computing, Los Angeles (1994), pp. 101-110.","DOI":"10.1145\/197917.197967"},{"key":"BF02997620_CR4","first-page":"9","volume-title":"In Proc. 5th Int. Workshop on Distributed Algorithms (WDAG-5)","author":"(M) AHAMAD","year":"1991","unstructured":"AHAMAD (M), BURNS (J. E.), HUTTO (P. W.), NEIGER (G.). Causal memory.In Proc. 5th Int. Workshop on Distributed Algorithms (WDAG-5) (1991),Springer Verlag, LNCS 579, pp. 9\u201330."},{"key":"BF02997620_CR5","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BF01784241","volume":"9","author":"(M.) AHAMAD","year":"1995","unstructured":"AHAMAD (M.), HUTTO (P. W.), NEIGER (G.), BURNS (J. E.), KOHLI (P.). Causal memory: definitions, implementations and programming.Distributed Computing (1995),9, pp. 37\u201349.","journal-title":"Distributed Computing"},{"issue":"4","key":"BF02997620_CR6","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1145\/6513.6514","volume":"4","author":"(J. L.) ARCHIBALD","year":"1986","unstructured":"ARCHIBALD (J. L.), BAER (J. L.). Cache coherence protocols: evaluation multiprocessor simulation model.ACM Transactions on Computer Systems (1986),4, n\u00b0 4, pp. 276\u2013298.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"2","key":"BF02997620_CR7","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/176575.176576","volume":"12","author":"(H.) ATTIYA","year":"1994","unstructured":"ATTIYA (H.), WELCH (J. L.). Sequential consistency versus linearizability.ACM Transactions on Computer Systems (1994),12, n\u00b02, pp. 91\u2013122.","journal-title":"ACM Transactions on Computer Systems"},{"key":"BF02997620_CR8","doi-asserted-by":"crossref","unstructured":"ATTIYA (H.), FRIEDMAN (R.). A correctness condition for high performance multiprocessors.In Proc. 24th ACM Annual Symposium on the Theory of Computing (1992), pp. 679-690.","DOI":"10.1145\/129712.129778"},{"key":"BF02997620_CR9","doi-asserted-by":"crossref","unstructured":"ATTIYA (H.), CHAUDHURI (S.), FRIEDMAN (R.), WELCH (J. L.). Shared memory consistency conditions for non sequential executions : definitions and programming strategies.In Proc. 5th ACM Symposium on Parallel Algorithms and Architectures, Vale, Germany (July 1993).","DOI":"10.1145\/165231.165263"},{"issue":"4","key":"BF02997620_CR10","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/69558.69561","volume":"11","author":"(R. L.) BAGRODIA","year":"1989","unstructured":"BAGRODIA (R. L.). Synchronization of asynchronous processes in CSP.ACM Transactions on Programming Languages and Systems (1989),11, n\u00b0 4, pp. 1053\u20131065.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"5","key":"BF02997620_CR11","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1002\/cpe.4330040502","volume":"4","author":"(H. E.) BAL","year":"1992","unstructured":"BAL (H. E.), KAASHOEK (F.), TANENBAUM (A. S.), JANSEN (J.). Replication techniques for speeding up parallel applications on distributed systems.Concurrency: Practice and Experience (1992),4, n\u00b0 5, pp. 337\u2013355.","journal-title":"Concurrency : Practice and Experience"},{"issue":"l","key":"BF02997620_CR12","first-page":"3","volume":"25","author":"(R.) BALDONI","year":"1995","unstructured":"BALDONI (R.), RAYNAL (M.). A graph-based characterization of communications modes in distributed executions.Journal of Foundations of Computing and Decision Sciences (1995),25, n\u00b0 l,pp. 3\u201320.","journal-title":"Journal of Foundations of Computing and Decision Sciences"},{"key":"BF02997620_CR13","doi-asserted-by":"crossref","unstructured":"BERSHAD (B. N.), ZEKAUSKAS (M. J.), SAWDON (W. A.). The Midway distributed shared memory system.Proc. of the Compcon 93 Conference (Feb. 1993), pp. 528-537.","DOI":"10.21236\/ADA264645"},{"issue":"1","key":"BF02997620_CR14","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/7351.7478","volume":"5","author":"(K.) BIRMAN","year":"1987","unstructured":"BIRMAN (K.), JOSEPH (T.). Reliable communications in the presence of failures.ACM Transactions on Computer Systems (1987),5, n\u00b0 1, pp. 47\u201376.","journal-title":"ACM Transactions on Computer Systems"},{"key":"BF02997620_CR15","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0304-3975(87)90005-3","volume":"49","author":"(L.) BOUG\u00e9","year":"1987","unstructured":"BOUG\u00e9 (L.). Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP.Theoretical Computer Science (1987),49, pp. 145\u2013169.","journal-title":"Theoretical Computer Science"},{"key":"BF02997620_CR16","unstructured":"CHARRON-BOST (B.), MATTERN (R), TEL(G.). Synchronous and asynchronous communications in distributed systems.Tech. Report TR91.55, University of Paris 7 (Sep. 1991)."},{"key":"BF02997620_CR17","doi-asserted-by":"crossref","unstructured":"GHARACHORLOO (K.), LENOSKI (D.), LAUDON (J.), GIBBONS (P.), GUPTA (A.), HENNESSEY (J.). Memory consistency and event ordering in scalable shared memory multiprocessors.Proc. 17th Annual ISCA (Int. Symposium on Computer Architecture), Seattle. WA (1990), pp. 15-26.","DOI":"10.1145\/325096.325102"},{"issue":"4","key":"BF02997620_CR18","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/4221.4223","volume":"32","author":"(H.) GARCIA-MOLINA","year":"1985","unstructured":"GARCIA-MOLINA (H.), BARBARA (D.). HOW to assign votes in a distributed system?Journal of the ACM (1985),32, n\u00b0 4, pp. 841\u2013850.","journal-title":"Journal of the ACM"},{"issue":"3","key":"BF02997620_CR19","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"(M.) HERLIHY","year":"1990","unstructured":"HERLIHY (M.), WING (J.). Linearizability: a correctness condition for concurrent objects.ACM Transactions on Programming Languages and Systems (1990),12, n\u00b0 3, pp. 463\u2013492.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"8","key":"BF02997620_CR20","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"(C. A. R.) HOARE","year":"1978","unstructured":"HOARE (C. A. R.). Communicating sequential processes.Communications of the ACM (1978),21, n\u00b0 8, pp. 666\u2013677.","journal-title":"Communications of the ACM"},{"issue":"2","key":"BF02997620_CR21","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/146628.139676","volume":"22","author":"(P.) KELEHER","year":"1992","unstructured":"KELEHER (P.), Cox (A. L.), ZWAENEPOEL (W.). Lazy release consistency for software distributed shared memory.Computer Architecture News (1992),22, n\u00b0 2, pp. 13\u201321.","journal-title":"Computer Architecture News"},{"issue":"7","key":"BF02997620_CR22","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"(L.) LAMPORT","year":"1978","unstructured":"LAMPORT (L.). Time, clocks and the ordering of events in a distributed system.Communications of the ACM (1978),21, n\u00b0 7, pp. 558\u2013565.","journal-title":"Communications of the ACM"},{"issue":"9","key":"BF02997620_CR23","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"C28","author":"(L.) LAMPORT","year":"1979","unstructured":"LAMPORT (L.). HOW to make a multiprocessor computer that correctly executes multiprocess programs ?IEEE Transactions on Computers (1979),C28, n\u00b0 9, pp. 690\u2013691.","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"BF02997620_CR24","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1145\/75104.75105","volume":"7","author":"(K.) Li","year":"1989","unstructured":"Li (K.), HUDAK (P.). Memory coherence in shared virtual memory systems.ACM Transactions on Computer Systems (1989),7, n\u00b0 4, pp. 321\u2013359.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"11","key":"BF02997620_CR25","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1002\/spe.4380221105","volume":"22","author":"(W. G.) LEVELT","year":"1992","unstructured":"LEVELT (W. G.), KAASHOEK (M. R), BAL (H. E.), TANENBAUM (A. S.). A comparison of two paradigms for distributed shared memory.Software Practice and Experience (1992),22, n\u00b0 11, pp. 985\u20131010.","journal-title":"Software Practice and Experience"},{"key":"BF02997620_CR26","unstructured":"LIPTON (R. J.), SANDBERG (J. S.). PRAM : a scalable shared memory.Tech. Report CS-TR-180-88, Princeton University (Sep. 1988)."},{"issue":"1","key":"BF02997620_CR27","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1145\/5001.5007","volume":"8","author":"(J.) MISRA","year":"1986","unstructured":"MISRA (J.). Axioms for memory access in asynchronous hardware systems.ACM Transactions on Programming Languages and Systems (1986),8, n\u00b0 1, pp. 142\u2013153.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF02997620_CR28","unstructured":"MIZUNO (M), RAYNAL (M.), ZHOU (J. Z.). Sequential consistency in distributed systems.Proc. Int. Workshop Theory and Practice in Dist. Systems, Dagstuhl, Germany,Springer-Verlag LNCS 938 (K. Birman, F. Mattern and A. Schiper Eds) (1994), pp. 227-241."},{"key":"BF02997620_CR29","unstructured":"MURTY (V. V.), GARG (V. K.). Synchronous message passing.Technical Report ECE-PDS-93-01, University of Texas at Austin, Dpt. of Elec. and Computer Engineering (1993)."},{"issue":"8","key":"BF02997620_CR30","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/2.84877","volume":"24","author":"(B.) NITZBERG","year":"1991","unstructured":"NITZBERG (B.), Lo (V.). Distributed shared memory: a survey of issues and algorithms.Computer (1991),24, n\u00b0 8, pp. 52\u201360.","journal-title":"Computer"},{"key":"BF02997620_CR31","unstructured":"PAPADIMITRIOU (C). The theory of concurrency control.Computer Science Press (1986)."},{"key":"BF02997620_CR32","unstructured":"PROTIC (J.), TOMASEVIC (M.), MILUTINOVIC (V.). A survey of distributed shared memory systems.Proc. 28th Annual Hawaii Int. Conf. on System Sciences, Vol. I (Architecture) (1995), pp. 74-84."},{"key":"BF02997620_CR33","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0020-0190(91)90008-6","volume":"39","author":"(M.) RAYNAL","year":"1991","unstructured":"RAYNAL (M.), SCHIPER (A.), TOUEG (S.). The causal ordering abstraction and a simple way to implement it.Information Processing Letters (1991),39, pp. 343\u2013350.","journal-title":"Information Processing Letters"},{"key":"BF02997620_CR34","doi-asserted-by":"crossref","unstructured":"RAYNAL (M.), SCHIPER (A.). From causal consistency to sequential consistency in shared memory systems.Proc. 15th Int. Conf. FST&TCS (Foundations of Software Technology and Theoretical Computer Science), Bangalore, India, Springer-Verlag LNCS Series 1026 (P. S. Thiagarajan Ed.) (Dec. 1995), pp. 180-194.","DOI":"10.1007\/3-540-60692-0_48"},{"key":"BF02997620_CR35","doi-asserted-by":"crossref","unstructured":"SCHIPER (A.), EGGLI (J.), SANDOZ (A.). A new algorithm to implement causal ordering.In Proc. 3rd Intl. Workshop on Distributed Algorithms (WDAG-3), Springer Verlag LNCS 392 (J. C. Ber-mond and M. Raynal Eds) (1989), pp. 219-232.","DOI":"10.1007\/3-540-51687-5_45"},{"issue":"5","key":"BF02997620_CR36","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1109\/12.280800","volume":"43","author":"(T. S.) SONEOKA","year":"1994","unstructured":"SONEOKA (T. S.), IBARAKI (T). Logically instantaneous message passing in asynchronous distributed systems.IEEE Transactions on Computers (1994),43, n\u00b0 5, pp. 513\u2013527.","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"BF02997620_CR37","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1145\/320071.320076","volume":"4","author":"(R. H.) THOMAS","year":"1979","unstructured":"THOMAS (R. H.). A majority consensus approach to concurrency control for multiple copies databases.ACM Transactions on Database Systems (1979),4, n\u00b0 2, pp. 180\u2013209.","journal-title":"ACM Transactions on Database Systems"}],"container-title":["Annales Des T\u00e9l\u00e9communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02997620.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF02997620\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02997620.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T09:17:18Z","timestamp":1625649438000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF02997620"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":37,"journal-issue":{"issue":"11-12","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["BF02997620"],"URL":"https:\/\/doi.org\/10.1007\/bf02997620","relation":{},"ISSN":["0003-4347","1958-9395"],"issn-type":[{"value":"0003-4347","type":"print"},{"value":"1958-9395","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}