visualzhou/mongo-repl-tla

TLA+ Spec of a simplified part of MongoDB replication system

3 best points · 0 comments · 1 Hacker News post · 49 GitHub stars · View on GitHub

Hacker News discussions