Modelling the Raft Distributed Consensus Protocol in mCRL2
<|reference_start|>Modelling the Raft Distributed Consensus Protocol in mCRL2: The consensus problem is a fundamental problem in distributed systems. It involves a set of actors, or entities, that need to agree on some values or decisions. The Raft algorithm is a solution to the consensus problem that has gained widespread popularity as an easy-to-understand and implement alternative to Lamport's Paxos algorithm. In this paper we discuss a formalisation of the Raft algorithm and its associated correctness properties in the mCRL2 specification language.<|reference_end|>
@article{bora2024modelling,
    title={Modelling the Raft Distributed Consensus Protocol in mCRL2},
    author={Parth Bora (Eindhoven University of Technology), Pham Duc Minh
  (Eindhoven University of Technology), Tim A.C. Willemse (Eindhoven University
  of Technology)},
    journal={EPTCS 399, 2024, pp. 7-20},
    year={2024},
    doi={10.4204/EPTCS.399.4},
    archivePrefix={arXiv},
    eprint={2403.18916},
    primaryClass={cs.LO cs.DC cs.SE}
}