Raynal, M.Schiper, A.2005-05-202005-05-202005-05-201996https://infoscience.epfl.ch/handle/20.500.14299/213857A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memoriestext::conference output::conference proceedings::conference paper