Quantitative Relaxation of Concurrent Data Structures (bibtex)
by T.A. Henzinger, C.M. Kirsch, H. Payer, A. Sezgin, A. Sokolova
Reference:
Quantitative Relaxation of Concurrent Data StructuresT.A. Henzinger, C.M. Kirsch, H. Payer, A. Sezgin, A. SokolovaProc. Symposium on Principles of Programming Languages (POPL), 2013, ACM.
Bibtex Entry:
@inproceedings{POPL13,
publisher = {ACM},
title = {Quantitative Relaxation of Concurrent Data Structures},
url = {/pubpdf/Quantitative_Relaxation_of_Concurrent_Data_Structures.pdf},
booktitle = {Proc. Symposium on Principles of Programming Languages (POPL)},
author = {T.A. Henzinger and C.M. Kirsch and H. Payer and A. Sezgin and A.
Sokolova},
year = {2013},
}
Powered by bibtexbrowser