Seungjoon Park, David L. Dill. Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions. Theory Comput. Syst., 31(4):355-376, 1998. [doi]
@article{ParkD98,
title = {Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions},
author = {Seungjoon Park and David L. Dill},
year = {1998},
url = {http://link.springer.de/link/service/journals/00224/bibs/31n4p355.html},
tags = {caching, protocol},
researchr = {https://researchr.org/publication/ParkD98},
cites = {0},
citedby = {0},
journal = {Theory Comput. Syst.},
volume = {31},
number = {4},
pages = {355-376},
}