Relaxed Memory

Efficient Verification of Concurrent Programs over TSO Memory Model
Chinmay Narayan, Subodh Sharma, S. Arun-Kumar
PDF Cite