Login / Signup
OpSets: Sequential Specifications for Replicated Datatypes.
Martin Kleppmann
Victor B. F. Gomes
Dominic P. Mulligan
Alastair R. Beresford
Published in:
Arch. Formal Proofs (2018)
Keyphrases
</>
data types
database management systems
database systems
data model
data structure
user defined
fault tolerant
sequential search
fault tolerance
data mining algorithms
high level
formal specification
operational semantics
information retrieval
genetic algorithm
sequential data
data replication
formal language