Arik Rinberg, Idit Keidar. Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion. In Yuval Emek, Christian Cachin, editors, PODC '20: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, August 3-7, 2020. pages 221-223, ACM, 2020. [doi]
@inproceedings{RinbergK20,
title = {Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion},
author = {Arik Rinberg and Idit Keidar},
year = {2020},
doi = {10.1145/3382734.3405712},
url = {https://doi.org/10.1145/3382734.3405712},
researchr = {https://researchr.org/publication/RinbergK20},
cites = {0},
citedby = {0},
pages = {221-223},
booktitle = {PODC '20: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, August 3-7, 2020},
editor = {Yuval Emek and Christian Cachin},
publisher = {ACM},
isbn = {978-1-4503-7582-5},
}