Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion

DOI10.1145/3382734.3405712OpenAlexW3046493460MaRDI QIDQ5855237

Idit Keidar, Arik Rinberg

Publication date: 15 March 2021

Published in: Proceedings of the 39th Symposium on Principles of Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3382734.3405712

Mathematics Subject Classification ID

Distributed systems (68M14) Distributed algorithms (68W15)

This page was built for publication: Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion