@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)}
}

{"_id":"SBFd34cRPnAvNeWe6","bibbaseid":"derrick-dongol-schellhorn-tofan-travkin-wehrheim-quiescentconsistencydefiningandverifyingrelaxedlinearizability-2014","downloads":0,"creationDate":"2016-03-03T12:29:06.782Z","title":"Quiescent Consistency: Defining and Verifying Relaxed Linearizability","author_short":["Derrick, J.","Dongol, B.","Schellhorn, G.","Tofan, B.","Travkin, O.","Wehrheim, H."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fm/DerrickDSTTW14","bibdata":{"title":"Quiescent Consistency: Defining and Verifying Relaxed Linearizability","author":["John Derrick","Brijesh Dongol","Gerhard Schellhorn","Bogdan Tofan","Oleg Travkin","Heike Wehrheim"],"author_short":["Derrick, J.","Dongol, B.","Schellhorn, G.","Tofan, B.","Travkin, O.","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)","bibtex":"@inproceedings{ dblp2037687,\n title = {Quiescent Consistency: Defining and Verifying Relaxed Linearizability},\n author = {John Derrick and Brijesh Dongol and Gerhard Schellhorn and Bogdan Tofan and Oleg Travkin and Heike Wehrheim},\n author_short = {Derrick, J. and Dongol, B. and Schellhorn, G. and Tofan, B. and Travkin, O. and Wehrheim, H.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp2037687},\n id = {dblp2037687},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fm/DerrickDSTTW14},\n url = {http://dx.doi.org/10.1007/978-3-319-06410-9_15},\n conference = {FM},\n pages = {200-214},\n text = {FM 2014:200-214},\n booktitle = {Proceedings of Formal Methods (FM)}\n}","bibbaseid":"derrick-dongol-schellhorn-tofan-travkin-wehrheim-quiescentconsistencydefiningandverifyingrelaxedlinearizability-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-06410-9_15"},"downloads":0},"search_terms":["quiescent","consistency","defining","verifying","relaxed","linearizability","derrick","dongol","schellhorn","tofan","travkin","wehrheim"],"keywords":[],"authorIDs":["56d82e12a8860d353f0001b0"],"dataSources":["cqjhtEdAAG2igpD8i"]}