Hong Pan, Huimin Lin, Yi Lv. Model Checking Data Consistency for Cache Coherence Protocols. J. Comput. Sci. Technol., 21(5):765-775, 2006. [doi]
@article{PanLL06,
title = {Model Checking Data Consistency for Cache Coherence Protocols},
author = {Hong Pan and Huimin Lin and Yi Lv},
year = {2006},
doi = {10.1007/s11390-006-0765-6},
url = {http://dx.doi.org/10.1007/s11390-006-0765-6},
tags = {caching, model checking, meta-model, protocol, data-flow, consistency, Meta-Environment},
researchr = {https://researchr.org/publication/PanLL06},
cites = {0},
citedby = {0},
journal = {J. Comput. Sci. Technol.},
volume = {21},
number = {5},
pages = {765-775},
}