MongoRaftReconfig TLA+ Specifications
Schultz, William · Zenodo (CERN European Organization for Nuclear Research) · 2021
TLA+ specifications for the MongoRaftReconfig dynamic reconfiguration protocol. Note that these specifications are a static snapshot of those found in the following Github repository: https://github.com/will62794/logless-reconfig.