@inproceedings{livlinear-icalp11,
  title = "Liveness-preserving Atomicity Abstraction",
  author = "Alexey Gotsman and Hongseok Yang",
  year = "2011",
  address = "Zurich, Switzerland",
  booktitle = "Proceedings of the 38th International Colloquium on Automata, Languages and Programming",
  isbn = "978-3-642-22011-1",
  month = "July",
  pages = "453--465",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "6461",
}