Rajnish Ghughal, Ganesh Gopalakrishnan. Verification Methods for Weaker Shared Memory Consistency Models. In José D. P. Rolim, editor, Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings. Volume 1800 of Lecture Notes in Computer Science, pages 985-992, Springer, 2000. [doi]
@inproceedings{GhughalG00, title = {Verification Methods for Weaker Shared Memory Consistency Models}, author = {Rajnish Ghughal and Ganesh Gopalakrishnan}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1800/18000985.htm}, tags = {consistency}, researchr = {https://researchr.org/publication/GhughalG00}, cites = {0}, citedby = {0}, pages = {985-992}, booktitle = {Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings}, editor = {José D. P. Rolim}, volume = {1800}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67442-X}, }