Shuai Mu

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
2. A transporter for delivering zinc to the developing tiller bud and panicle in rice
   2020/11/09 by Shuai Mu, Naoki Yamaji, Akimasa Sasaki +12 · 1 citation
   Agricultural and Biological Sciences · #Plant Molecular Biology Research #Plant Stress Responses and Tolerance #Plant responses to water stress