Modeling the Raft Distributed Consensus Protocol in LNT

Hugues Evrard

Consensus protocols are crucial for reliable distributed systems as they let them cope with network and server failures. For decades, most consensus protocols have been designed as…