Quiescent Consistency: Defining and Verifying Relaxed Linearizability. Derrick, J.; Dongol, B.; Schellhorn, G.; Tofan, B.; Travkin, O.; and Wehrheim, H. In Proceedings of Formal Methods (FM), pages 200-214, 2014.
Quiescent Consistency: Defining and Verifying Relaxed Linearizability [link]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)}
}
Downloads: 0