1 paper
Yujie Hui, Xiaoyi Lu, Andrew Perrault +1
Provably correct distributed protocols, which are a critical component of modern distributed systems, are highly challenging to design and have often required decades of human effo…