Multi-criterion coherence protocol for distributed shared memory

We present a coherence protocol, which supports three different consistency models of distributed shared data: sequential consistency, causal consistency and PRAM consistency. The protocol is dedicated to an asynchronous reliable distributed computing system. It allows one to update the replicas of variables in distributed shared memory according to consistency criteria which are attributes of write operations.