Lamport Clocks: Verifying a Directory Cache-coherence (1998)

by M Plakal, D J Sorin, A E Condon, M D Hill
Venue:Protocol,” in Symposium on Parallel Algorithms and Architectures (SPAA