Lamport clocks: Verifying a directory cache coherence protocol (1998)

by M Plakal, D Sorin, A Condon, M Hill
Venue:Symposium on Parallel Algorithms and Architectures