Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion.

Arik Rinberg Idit Keidar

Published in: PODC (2020)

Keyphrases

correctness criterion
transaction management
concurrency control
linear logic
integrity constraints
multidatabase systems
replicated databases
qualitative and quantitative
correctness criteria
multi dimensional
distributed databases
management system
database management systems
concurrency control protocols