@phdthesis{basesearch-5073,
  title = {On the Correctness of Transactional Memory Algorithms},
  author = {Mohsen Lesani},
  year = {2014},
  url = {https://www.base-search.net/Record/9899b8e969fcd1c207c66cddb8b95b6bbc6dc2ed3700c378fe760bb6ac0b01b9},
  note = {base-search.net (ftcdlib:qt1s4271kc)},
  researchr = {https://researchr.org/publication/basesearch-5073},
  cites = {0},
  citedby = {0},
  school = {University of California, Los Angeles, USA},
}