Verification under causally consistent shared memory
Ori Lahav · ACM SIGLOG News · 2019
We consider concurrent programs interacting with causally consistent shared memory. After describing the semantics of such programs, we outline several verification problems and survey some existing solutions.