DrTLAPlus：TLA +系列博士-学习算法和协议，研究规范
需积分: 13 55 浏览量
2021-02-02
12:46:22
上传
评论
收藏 22.2MB ZIP 举报
DrTLAPlus-master.zip （22个子文件） 
DrTLAPlus-master FlexiblePaxos 
README.md 2KB
FlexiblePaxos.pdf 994KB FastPaxos FastPaxos.pdf 2.38MB FastPaxos.tla 32KB README.md 1KB Raft Raft.pdf 2.47MB README.md 2KB ByzPaxos byz_paxos.pdf 13.31MB PBFT.pdf 744KB README.md 1KB ByzPaxos.pdf 144KB TiDB README.md 2KB Paxos Paxos.tla 27KB README.md 2KB Paxos.pdf 1.86MB README.md 2KB GSnapshot README.md 3KB GlobalSnapshots.pdf 846KB CosmosDB CosmosDB.pdf 1.49MB README.md 2KB MultiPaxos SakshamChand_MultiPaxos.pdf 1.94MB README.md 3KB资源评论
