Lamport Clocks: Verifying a Directory Cache-Coherence Protocol.

Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D. Hill

Browse the full SPAA paper archive.