Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates (bibtex)
by Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger
Reference:
Automatic Linearizability Proofs of Concurrent Objects with Cooperating UpdatesCezara Dragoi, Ashutosh Gupta, Thomas A. HenzingerCAV, pages 174-190, 2013.
Bibtex Entry:
@inproceedings{DragoiGH13,
title = {Automatic Linearizability Proofs of Concurrent Objects with Cooperating
Updates},
ee = {http://dx.doi.org/10.1007/978-3-642-39799-8_11},
booktitle = {CAV},
author = {Cezara Dragoi and Ashutosh Gupta and Thomas A. Henzinger},
url = {/pubpdf/Automatic_Linearizability_Proofs_of_Concurrent_Objects_with_Cooperating_Updates.pdf},
year = {2013},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {174-190},
crossref = {DBLP:conf/cav/2013},
}
Powered by bibtexbrowser