Modelling the Raft Distributed Consensus Protocol in mCRL2

March 27, 2024 · The Ethereal · 🏛 MARS

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Parth Bora, Pham Duc Minh, Tim A. C. Willemse arXiv ID 2403.18916 Category cs.LO: Logic in CS Cross-listed cs.DC, cs.SE Citations 0 Venue MARS Last Checked 5 months ago
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.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS