paxosstore

There are 0 repository under paxosstore topic.

nicomwong / distributed-database
Distributed key-value database using Multi-Paxos Consensus Algorithm
distributed-systems consensus-algorithm consensus-protocol distributed-computing distributed-database distributed-protocols distributed-storage paxos-algorithm paxos-protocol paxosstore python python3
Language:Python 1
hengxin / paxosstore-tla
TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat
paxos distributed-consensus paxosstore tlaplus tlaps formal-methods tecent wechat
Language:TLA