most citedVerification of a lazy cache coherence protocol against a weak memory model

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2018

Memory Consistency Models using Constraints

Ruth Hoffmann, Özgür Akgün, Susmit Sarkar

Memory consistency models (MCMs) are at the heart of concurrent programming. They represent the behaviour of concurrent programs at the chip level. To test these models small progr…