The complexity of verifying memory coherence (2003)

by J Cantin, M Lipasti, J Smith
Venue:In: SPAA