A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memories