Paper  bibtex   

@inproceedings{ dblp2037687,
  title = {Quiescent Consistency: Defining and Verifying Relaxed Linearizability},
  author = {John Derrick and Brijesh Dongol and Gerhard Schellhorn and Bogdan Tofan and Oleg Travkin and Heike Wehrheim},
  author_short = {Derrick, J. and Dongol, B. and Schellhorn, G. and Tofan, B. and Travkin, O. and Wehrheim, H.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp2037687},
  id = {dblp2037687},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fm/DerrickDSTTW14},
  url = {http://dx.doi.org/10.1007/978-3-319-06410-9_15},
  conference = {FM},
  pages = {200-214},
  text = {FM 2014:200-214},
  booktitle = {Proceedings of Formal Methods (FM)}
}