@article{DerrickDongolSchellhornetal.2014,
  author    = {John Derrick and Brijesh Dongol and Gerhard Schellhorn and Bogdan Tofan and Oleg Travkin and Heike Wehrheim},
  title     = {Quiescent consistency: defining and verifying relaxed linearizability},
  journal   = {Lecture Notes in Computer Science},
  volume    = {8442},
  pages     = {200 -- 214},
  doi       = {10.1007/978-3-319-06410-9_15},
  year      = {2014},
}