Harold W. Cain, Mikko H. Lipasti. Memory Ordering: A Value-Based Approach. IEEE Micro, 24(6):110-117, 2004. [doi]
@article{CainL04:0, title = {Memory Ordering: A Value-Based Approach}, author = {Harold W. Cain and Mikko H. Lipasti}, year = {2004}, doi = {10.1109/MM.2004.81}, url = {http://doi.ieeecomputersociety.org/10.1109/MM.2004.81}, tags = {rule-based, systematic-approach}, researchr = {https://researchr.org/publication/CainL04%3A0}, cites = {0}, citedby = {0}, journal = {IEEE Micro}, volume = {24}, number = {6}, pages = {110-117}, }