Flexible Paxos

fpaxos.github.io

Revisiting quorum intersection for Paxos

Results 2 repositories owned by


                                            Flexible Paxos

ffpaxos-tlaplus

17

Stars

0

Forks

Watchers

TLA+ specification of Fast Flexible Paxos

distributed-systems

fast-flexible-paxos

tla-specification

fpaxos-tlaplus

38

Stars

1

Forks

Watchers

TLA+ specification of Flexible Paxos

distributed-algorithms

tla-specification