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]
Abstract is missing.