Intermediate Value Linearizability: A Quantitative Correctness Criterion.

Arik Rinberg Idit Keidar

Published in: J. ACM (2023)

Keyphrases

correctness criterion
integrity constraints
concurrency control
linear logic
transaction management
multidatabase systems
correctness criteria
database systems
qualitative and quantitative
data replication
replicated databases
databases
concurrency control protocols
database
response time