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