Using Lamport clocks to reason about relaxed memory models,” (1999)

by A E Condon
Venue:In Proceedings of the 5th International Symposium on High Performance Computer Architecture,