Arik Rinberg, Idit Keidar. Intermediate Value Linearizability: A Quantitative Correctness Criterion. In Hagit Attiya, editor, 34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference. Volume 179 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
@inproceedings{RinbergK20-0,
title = {Intermediate Value Linearizability: A Quantitative Correctness Criterion},
author = {Arik Rinberg and Idit Keidar},
year = {2020},
doi = {10.4230/LIPIcs.DISC.2020.2},
url = {https://doi.org/10.4230/LIPIcs.DISC.2020.2},
researchr = {https://researchr.org/publication/RinbergK20-0},
cites = {0},
citedby = {0},
booktitle = {34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference},
editor = {Hagit Attiya},
volume = {179},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-168-9},
}