Paxos
March 28, 2020 ยท View on GitHub
TLA+ specification of paxos
Acknowledgment
Recieved suggestions for TLA specification writting from @vang1ong7ang and @lemmy. Thanks a lot for your help.
March 28, 2020 ยท View on GitHub
TLA+ specification of paxos
Recieved suggestions for TLA specification writting from @vang1ong7ang and @lemmy. Thanks a lot for your help.