Anne Condon, Mark D. Hill, Manoj Plakal, Daniel J. Sorin
Using Lamport Clocks to Reason about Relaxed Memory Models
HPCA, 1999.
@inproceedings{HPCA-1999-CondonHPS,
author = "Anne Condon and Mark D. Hill and Manoj Plakal and Daniel J. Sorin",
booktitle = "{Proceedings of the Fifth International Symposium on High-Performance Computer Architecture}",
doi = "10.1109/HPCA.1999.744379",
isbn = "0-7695-0004-8",
pages = "270--278",
publisher = "{IEEE Computer Society}",
title = "{Using Lamport Clocks to Reason about Relaxed Memory Models}",
year = 1999,
}