Using lamport clocks to reason about relaxed memory models (1999)

by A Condon, M Hill, M Plakal, D Sorin
Venue:In 5th International Symposium on High Performance Computer Architecture