Seungjoon Park, David L. Dill. An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order). In SPAA. pages 34-41, 1995. [doi]
@inproceedings{ParkD95, title = {An Executable Specification, Analyzer and Verifier for RMO (Relaxed Memory Order)}, author = {Seungjoon Park and David L. Dill}, year = {1995}, doi = {10.1145/215399.215413}, url = {http://doi.acm.org/10.1145/215399.215413}, researchr = {https://researchr.org/publication/ParkD95}, cites = {0}, citedby = {0}, pages = {34-41}, booktitle = {SPAA}, }