Login / Signup
Proof and Evaluation of a 1CS Middleware Data Replication Protocol Based on O2PL.
José Enrique Armendáriz-Iñigo
Francesc D. Muñoz-Escoí
José Ramón Garitagoitia
J. R. Juárez-Rodríguez
José Ramón González de Mendívil
Published in:
ISPA (2006)
Keyphrases
</>
data replication
distributed systems
replicated data
quorum consensus
replicated databases
fault tolerance
data availability
load balancing
distributed databases
correctness criterion
update propagation
data mining
data access
concurrency control
linear logic