fpaxos / ffpaxos-tlaplus

TLA+ specification of Fast Flexible Paxos
18Updated 4 years ago

Alternatives and similar repositories for ffpaxos-tlaplus:

Users that are interested in ffpaxos-tlaplus are comparing it to the libraries listed below