Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion

PODC 2020