A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe. Understanding Inconsistency in Azure Cosmos DB with TLA+. In 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, SEIP@ICSE 2023, Melbourne, Australia, May 14-20, 2023. pages 1-12, IEEE, 2023. [doi]
Abstract is missing.