Changgeng Zhao

1. On the parallels between Paxos and Raft, and how to port optimizations
   2019/05/26 by Zhaoguo Wang, Wang, Zhaoguo, Changgeng Zhao +7 · 3 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge