• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Non-interleaving Operational Semantics for Geographically Replicated Databases.

Gabriel CiobanuRoss 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