4 ms·
Microsoft built Azure CosmosDB based on TLA+: https://github.com/Azure/azure-cosmos-tla https://github.com/Azure/azure-cosmos-tla
by CyanLite2 6y ago
Microsoft built Azure CosmosDB based on TLA+: https://github.com/Azure/azure-cosmos-tla https://github.com/Azure/azure-cosmos-tla