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.

Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion

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]

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