A methodology for early validation of cache coherence protocols based on relational databases.

Published in: Concurr. Comput. Pract. Exp. (2007)

Keyphrases