@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 = {},
}