will62794 / logless-reconfig

TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
11Updated last month

Related projects

Alternatives and complementary repositories for logless-reconfig