Understanding Inconsistency in Azure Cosmos DB with TLA+.

A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe

Browse the full ICSE paper archive.