Sign in
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