Correctness of a directory-based cache coherence protocol: Early experience (1993)

by F Pong, M Dubois
Venue:Proc. of the 5th Annual Symp. on Parallel and Distributed Processing