Published November 19, 2021
| Version v1
Software
Open
MongoRaftReconfig TLA+ Specifications
Description
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.
Files
logless-reconfig-artifact.zip
Files
(2.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:47f48c703bb45da87015ec2dcd439ebc
|
2.9 MB | Preview Download |
Additional details
Related works
- Is supplement to
- arXiv:2102.11960 (arXiv)
- Is version of
- Software: https://github.com/will62794/logless-reconfig (URL)