3 ms·
The TLA+ specs where eventually published [0], although I wonder how up to date they are to current state of the DB since they haven't been updated for a while.
by dtrailin 7y ago
The TLA+ specs where eventually published [0], although I wonder how up to date they are to current state of the DB since they haven't been updated for a while.
[0] https://github.com/Azure/azure-cosmos-tla https://github.com/Azure/azure-cosmos-tla
- rnehme 7y agoHi, I am from Azure Cosmos DB Engineering Team. The TLA+ specs are fairly up to date. Thanks.