Anne Condon Mark D. Hill Manoj Plakal Daniel J. Sorin Using Lamport Clocks to Reason about Relaxed Memory Models. 270-278 1999 HPCA http://computer.org/proceedings/hpca/0004/00040270abs.htm db/conf/hpca/hpca1999.html#CondonHPS99