Lamport Clocks: Verifying a Directory Cache-Coherence Protocol (1998)

by Manoj Plakal , Daniel J. Sorin , Anne E. Condon , Mark D. Hill
Venue:In Proceedings of the 10th Annual ACM Symposium on Parallel Architectures and Algorithms
Citations:40 - 13 self