Xingchen
Results
1
repositories owned by
Xingchen
PaxosStore-tla
21
Stars
5
Forks
Watchers
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
