模型检测MESIF Cache一致性协议

模型检测MESIF Cache一致性协议

吕正 ¹，陈昊 ^1，2，陈峰 ¹，吕毅 ³

Model checking MESIF Cache coherence protocol

LV Zheng ¹，CHEN Hao ^1，2，CHEN Feng ¹，LV Yi ³

计算机工程与应用 . 2010, (17): 66 -68 . DOI: 10.3778/j.issn.1002-8331.2010.17.019