C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Non-interleaving Operational Semantics for Geographically Replicated Databases.
Gabriel Ciobanu
Ross Horne
Published in:
SYNASC (2013)
Keyphrases
</>
operational semantics
replicated databases
formal semantics
fault tolerance
distributed data
data replication
data model
databases
mental states
fault tolerant
group communication
query processing
speech acts