Login / Signup

Understanding Inconsistency in Azure Cosmos DB with TLA+.

A. Finn HackettJoshua RoweMarkus Alexander Kuppe
Published in: ICSE-SEIP (2023)
Keyphrases
  • cloud computing
  • mobile services
  • database systems
  • data model
  • operating system
  • windows azure