![](/img/cover-not-exists.png)
The complexity of verifying memory coherence and consistency
Cantin, J.F., Lipasti, M.H., Smith, J.E.Volume:
16
Language:
english
Journal:
IEEE Transactions on Parallel and Distributed Systems
DOI:
10.1109/TPDS.2005.86
Date:
July, 2005
File:
PDF, 1002 KB
english, 2005