Publication

A formal approach to fault tolerant distributed consensus