TY  - RPRT
TI  - Understanding Inconsistency in Azure Cosmos DB with TLA+
AU  - A. Finn Hackett
AU  - Joshua Rowe
AU  - Markus Alexander Kuppe
PY  - 2022
UR  - https://arxiv.org/abs/2210.13661
ID  - 2210.13661
ER  -