Hong Pan Huimin Lin Yi Lv Model Checking Data Consistency for Cache Coherence Protocols. 765-775 2006 21 J. Comput. Sci. Technol. 5 http://dx.doi.org/10.1007/s11390-006-0765-6 db/journals/jcst/jcst21.html#PanLL06