Mahadevan Subramaniam, Patrick Conway. A methodology for early validation of cache coherence protocols based on relational databases. Concurrency - Practice and Experience, 19(3):355-368, 2007. [doi]
@article{SubramaniamC07, title = {A methodology for early validation of cache coherence protocols based on relational databases}, author = {Mahadevan Subramaniam and Patrick Conway}, year = {2007}, doi = {10.1002/cpe.1065}, url = {http://dx.doi.org/10.1002/cpe.1065}, tags = {rule-based, caching, relational database, protocol}, researchr = {https://researchr.org/publication/SubramaniamC07}, cites = {0}, citedby = {0}, journal = {Concurrency - Practice and Experience}, volume = {19}, number = {3}, pages = {355-368}, }