will62794 / logless-reconfigLinks

TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
12Updated 5 months ago

Alternatives and similar repositories for logless-reconfig

Users that are interested in logless-reconfig are comparing it to the libraries listed below

Sorting: