External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Intermediate Value Linearizability: A Quantitative Correctness Criterion

Arik Rinberg, Idit Keidar. Intermediate Value Linearizability: A Quantitative Correctness Criterion. In Hagit Attiya, editor, 34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference. Volume 179 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Authors

Arik Rinberg

This author has not been identified. Look up 'Arik Rinberg' in Google

Idit Keidar

This author has not been identified. Look up 'Idit Keidar' in Google
runs on