Parth Bora (Eindhoven University of Technology) |
Pham Duc Minh (Eindhoven University of Technology) |
Tim A.C. Willemse (Eindhoven University of Technology) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.399.4 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |