The complexity of verifying memory coherence.

Jason F. Cantin, Mikko H. Lipasti, James E. Smith

Browse the full SPAA paper archive.