Memory Consistency Models using Constraints (2018)

First Author: Hoffmann, R
Attributed to:  C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://modref2018.github.io/papers/ModRef2018_MemoryConsistencyModels.pdf

Type: Conference/Paper/Proceeding/Abstract