Safety of an Object-Based Version Vector Consistency Protocol of Session Guarantees.

Jerzy Brzezinski Cezary Sobaniec

Published in: PPAM (2005)

Keyphrases

lightweight
convergence proof
database systems
feature vectors
vector space
formal analysis
replicated data
network protocols
distributed databases
global constraints
constraint networks
application layer
global consistency
vector data
snapshot isolation