fpaxos / ffpaxos-tlaplus

TLA+ specification of Fast Flexible Paxos

https://arxiv.org/abs/2008.02671

Geek Repo

Github PK Tool