Login / Signup

Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis.

Jon GrovPeter Csaba Ölveczky
Published in: SEFM (2014)
Keyphrases
  • formal analysis
  • multi site
  • data stores
  • geographically distributed
  • agent model
  • database systems
  • formal methods
  • data sets
  • databases
  • big data
  • relational database systems
  • data processing