Title: model checking data consistency for cache coherence protocols
Author: Pan Hong
; Lin Huimin
; Lv Yi
Corresponding Author: Pan, H (通讯作者), Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China
Keyword: concurrent systems
; cache coherence protocols
; value-passing
; symbolic transition graphs
; model checking
; VERIFICATION
Source: Springer New York LLC
Issued Date: 2006
Volume: 21, Issue: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, Pages: 765-775 Indexed Type: ei,sci
Department: 1. Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China
WOS ID: WOS:000240962200014
Citation statistics:
Content Type: 期刊论文
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.