题名: model checking data consistency for cache coherence protocols
作者: Pan Hong
; Lin Huimin
; Lv Yi
通讯作者: Pan, H (通讯作者), Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China
关键词: concurrent systems
; cache coherence protocols
; value-passing
; symbolic transition graphs
; model checking
; VERIFICATION
刊名: Springer New York LLC
发表日期: 2006
卷: 21, 期: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页: 765-775 收录类别: ei,sci
部门归属: 1. Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China
WOS记录号: WOS:000240962200014
Citation statistics:
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/3202
Appears in Collections: 计算机科学国家重点实验室 _期刊论文
File Name/ File Size
Content Type
Version
Access
License
6513.pdf （433KB） -- -- 限制开放 -- 联系获取全文
Recommended Citation:
Pan Hong,Lin Huimin,Lv Yi. model checking data consistency for cache coherence protocols[J]. Springer New York LLC,2006-01-01,21(5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC):765-775.
