Martin T. Vechev, Eran Yahav, David F. Bacon
Correctness-preserving derivation of concurrent garbage collection algorithms
PLDI, 2006.
@inproceedings{PLDI-2006-VechevYB,
author = "Martin T. Vechev and Eran Yahav and David F. Bacon",
booktitle = "{Proceedings of the 27th Conference on Programming Language Design and Implementation}",
doi = "10.1145/1133981.1134022",
editor = "Michael I. Schwartzbach and Thomas Ball",
isbn = "1-59593-320-4",
pages = "341--353",
publisher = "{ACM}",
title = "{Correctness-preserving derivation of concurrent garbage collection algorithms}",
year = 2006,
}