Understanding Inconsistency in Azure Cosmos DB with TLA+.

A. Finn Hackett Joshua Rowe Markus Alexander Kuppe

Published in: CoRR (2022)

Keyphrases

cloud computing
temporal logic
database
management system