%0 Conference Paper %1 conf/hotos/KimOL17 %A Kim, Beom Heyn %A Oh, Sukwon %A Lie, David %B HotOS %D 2017 %E Fedorova, Alexandra %E Warfield, Andrew %E Beschastnikh, Ivan %E Agarwal, Rachit %I ACM %K dblp %P 82-87 %T Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. %U http://dblp.uni-trier.de/db/conf/hotos/hotos2017.html#KimOL17 %@ 978-1-4503-5068-6

@inproceedings{conf/hotos/KimOL17, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kim, Beom Heyn and Oh, Sukwon and Lie, David}, biburl = {https://www.bibsonomy.org/bibtex/24ec7566403b510891765e886afd3e3e3/dblp}, booktitle = {HotOS}, crossref = {conf/hotos/2017}, editor = {Fedorova, Alexandra and Warfield, Andrew and Beschastnikh, Ivan and Agarwal, Rachit}, ee = {https://doi.org/10.1145/3102980.3102994}, interhash = {a9f2e40d5d7eb350d7ea7655f59f4c7b}, intrahash = {4ec7566403b510891765e886afd3e3e3}, isbn = {978-1-4503-5068-6}, keywords = {dblp}, pages = {82-87}, publisher = {ACM}, timestamp = {2018-11-07T12:50:27.000+0100}, title = {Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification.}, url = {http://dblp.uni-trier.de/db/conf/hotos/hotos2017.html#KimOL17}, year = 2017 }