Hongjin Liang, Xinyu Feng, Ming Fu
A rely-guarantee-based simulation for verifying concurrent program transformations
POPL, 2012.
@inproceedings{POPL-2012-LiangFF, author = "Hongjin Liang and Xinyu Feng and Ming Fu", booktitle = "{Proceedings of the 39th Symposium on Principles of Programming Languages}", doi = "10.1145/2103656.2103711", editor = "John Field and Michael Hicks", isbn = "978-1-4503-1083-3", pages = "455--468", publisher = "{ACM}", title = "{A rely-guarantee-based simulation for verifying concurrent program transformations}", year = 2012, }