We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO
< prev | next >
new | recent | 2403

Change to browse by:

cs
cs.DC
cs.SE

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Modelling the Raft Distributed Consensus Protocol in mCRL2

Authors: Parth Bora (Eindhoven University of Technology), Pham Duc Minh (Eindhoven University of Technology), Tim A.C. Willemse (Eindhoven University of Technology)
(Submitted on 27 Mar 2024)
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.
Comments: In Proceedings MARS 2024, arXiv:2403.17862
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
Journal reference: EPTCS 399, 2024, pp. 7-20
DOI: 10.4204/EPTCS.399.4
Cite as: arXiv:2403.18916 [cs.LO]
  (or arXiv:2403.18916v1 [cs.LO] for this version)

Submission history

From: EPTCS [view email]
[v1] Wed, 27 Mar 2024 18:08:31 GMT (29kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.