Jan-Willem Maessen, Arvind, Xiaowei Shen
Improving the Java memory model using CRF
OOPSLA, 2000.
@inproceedings{OOPSLA-2000-MaessenAS,
author = "Jan-Willem Maessen and Arvind and Xiaowei Shen",
booktitle = "{Proceedings of the 15th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
doi = "10.1145/353171.353172",
editor = "Mary Beth Rosson and Doug Lea",
isbn = "1-58113-200-X",
pages = "1--12",
publisher = "{ACM}",
title = "{Improving the Java memory model using CRF}",
year = 2000,
}