- ๐ญ Iโm currently working in Disalg in NJUCS.
- ๐ฑ Iโm currently learning consensus protocols in distributed systems.
- ๐ฌ Welcome to discuss about consensus algorithms, database systems with me.
- ๐ซ How to reach me: my email([email protected])
binyuhuang-nju / paxosstore-tla Goto Github PK
View Code? Open in Web Editor NEWThis project forked from starydark/paxosstore-tla
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
License: MIT License