@inproceedings{GKR12,
author = {Vincent Gramoli and Srivatsan Ravi and Petr Kuznetsov},
title = {Sharing a sequential data structure: correctness definition and concurrency analysis},
booktitle = {4th Workshop on the Theory of Transactional Memory (WTTM'12)},
publisher = {},
address = {},
editor = {},
volume = {},
series = {},
year = {2012},
month = {},
pages = {},
url = {http://sydney.edu.au/engineering/it/~gramoli/events/wttm4/papers/gramoli.pdf},
location = {},
}