BibTeX Entry |
@incollection{flanagan:types-for-atomicity:tldi:2003, author = {Flanagan, Cormac and Qadeer, Shaz}, title = {Types for Atomicity}, booktitle = {ACM SIGPLAN Workshop on Types in Language Design and Implementation}, pages = {1--12}, month = {Jan}, urlpage = {http://doi.acm.org/10.1145/604174.604176}, year = {2003} }