News for hackers. Stuff that matters.

A comment on Introduction to TLA+ Model Checking in the Command Line. Parent comment

Re:Introduction to TLA+ Model Checking in the Command Line by ashish_negi_ on Friday January 18, 2019 @10:18AM (#18939843)
Cosmosdb is Microsoft multi model, multi master, geo database with five consistency levels for performance.

https://github.com/Azure/azure-cosmos-tla

[ Parent | on HN ]

There are no comments on this comment yet.