Geeks
UWSysLab
/
NOPaxosTLA
TLA+ Specification of the NOPaxos Protocol
Primary Language
TLA
MIT License
MIT
NOPaxosTLA GitHub
Markdown
Readme
0
Issues
3
Stargazers
3
Watchers
Stargazers
dranov
Singapore
kvoli
@cockroachdb
TrueGoric
@Artifex-Idearum