Using Lamport Clocks to Reason about Relaxed Memory Models.

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

Browse the full HPCA paper archive.