Starydark/Tencent-Paxos-TLA

Specification of the consensus algorithm in Tencent storage system PaxosStore

TLA