Login / Signup
A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes.
Victor B. F. Gomes
Martin Kleppmann
Dominic P. Mulligan
Alastair R. Beresford
Published in:
Arch. Formal Proofs (2017)
Keyphrases
</>
conflict free
data types
real world
data structure
special case
dynamic programming
theoretical framework
fault tolerant