Linearizability Is Not Always a Safety Property.

Rachid Guerraoui Eric Ruppert

Published in: NETYS (2014)

Keyphrases

desirable properties
three dimensional
databases
case study
database systems
cooperative
data streams