/Paxos

TLA+ specification of paxos

Primary LanguageTLAMIT LicenseMIT

Paxos

TLA+ specification of paxos

Acknowledgment

Recieved suggestions for TLA specification writting from @vang1ong7ang and @lemmy. Thanks a lot for your help.