Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 7-20 |
| Number of pages | 14 |
| Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
| Volume | 399 |
| DOIs | |
| Publication status | Published - 27 Mar 2024 |
| Event | 6th Workshop on Models for Formal Analysis of Real Systems, MARS 2024 - Luxembourg City, Luxembourg Duration: 6 Apr 2024 → 6 Apr 2024 |
Bibliographical note
Publisher Copyright:© Parth Bora, Pham Duc Minh, Tim Willemse.
Fingerprint
Dive into the research topics of 'Modelling the Raft Distributed Consensus Protocol in mCRL2'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver