@phdthesis{4363,
  author       = {Vasu Singh},
  booktitle    = {Formalizing and Verifying Transactional Memories},
  publisher    = {EPFL Lausanne},
  title        = {{Formalizing and Verifying Transactional Memories}},
  year         = {2009},
}