The complexity of verifying memory coherence and consistency, Parallel and Distributed Systems, (2005)

by J F Cantin, M H Lipasti, J E Smith
Venue:IEEE Transactions on, On