Proofs of correctness of cache-coherence protocols (2001)

by Joseph Stoy, Xiaowei Shen, Arvind
Venue:In FME