You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ConsistencyChecking project is a part of research paper and is devoted to checking some execution of distributed shared memory system against its consistency model.
As a starting point, PRAM consistency model is in consideration.