Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion

DOI10.1145/3382734.3405712MaRDI QIDQ5855237zbMATH OpenOpenAlexFDO

Authors Arik Rinberg, Idit Keidar

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)

Recommendations

• Intermediate value linearizability: a quantitative correctness criterion
• Between linearizability and quiescent consistency. Quantitative quiescent consistency
• Strict linearizability and abstract atomicity
• Linearizable counting networks
• Linearizable implementations do not suffice for randomized distributed computation

Cited in

(1)

• Intermediate value linearizability: a quantitative correctness criterion

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5855237)