计算机科学与探索2008，Vol.2Issue(5)：545-552,8.
一种基于广播的cache一致性协议的设计和验证
The design and verification of a broadcast-based cache coherence protocol
摘要
关键词
cache一致性协议/广播/NuSMV验证分类
信息技术与安全科学引用本文复制引用
李俊,袁爱东,高剑刚..一种基于广播的cache一致性协议的设计和验证[J].计算机科学与探索,2008,2(5):545-552,8.基金项目
the National High-Tech Research and Development Plan of China under Grant No.2007AA012103(国家高技术研究发展计划 (863)). （国家高技术研究发展计划 (863）
