Modelling the Raft Distributed Consensus Protocol in mCRL2

Parth Bora; Pham Duc Minh; Tim A.C. Willemse

doi:10.4204/EPTCS.399.4

Modelling the Raft Distributed Consensus Protocol in mCRL2

Parth Bora
, Pham Duc Minh
, Tim A.C. Willemse

Onderzoeksoutput: Bijdrage aan tijdschrift › Congresartikel › peer review

1 Citaat (Scopus)

49 Downloads (Pure)

Samenvatting

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.

Originele taal-2	Engels
Pagina's (van-tot)	7-20
Aantal pagina's	14
Tijdschrift	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	399
DOI's	https://doi.org/10.4204/EPTCS.399.4
Status	Gepubliceerd - 27 mrt. 2024
Evenement	6th Workshop on Models for Formal Analysis of Real Systems, MARS 2024 - Luxembourg City, Luxemburg Duur: 6 apr. 2024 → 6 apr. 2024

Bibliografische nota

Publisher Copyright:
© Parth Bora, Pham Duc Minh, Tim Willemse.

Toegang tot document

10.4204/EPTCS.399.4

pdfDefinitieve gepubliceerde versie, 164 KBLicentie: CC BY

Andere bestanden en links

Link naar publicatie in Scopus

Citeer dit

@article{f68da76256554069b626ad55a6c5015d,

title = "Modelling the Raft Distributed Consensus Protocol in mCRL2",

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.",

author = "Parth Bora and Minh, \{Pham Duc\} and Willemse, \{Tim A.C.\}",

note = "Publisher Copyright: {\textcopyright} Parth Bora, Pham Duc Minh, Tim Willemse.; 6th Workshop on Models for Formal Analysis of Real Systems, MARS 2024 ; Conference date: 06-04-2024 Through 06-04-2024",

year = "2024",

month = mar,

day = "27",

doi = "10.4204/EPTCS.399.4",

language = "English",

volume = "399",

pages = "7--20",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Modelling the Raft Distributed Consensus Protocol in mCRL2

AU - Bora, Parth

AU - Minh, Pham Duc

AU - Willemse, Tim A.C.

PY - 2024/3/27

Y1 - 2024/3/27

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85190237663

U2 - 10.4204/EPTCS.399.4

DO - 10.4204/EPTCS.399.4

M3 - Conference article

AN - SCOPUS:85190237663

SN - 2075-2180

VL - 399

SP - 7

EP - 20

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 6th Workshop on Models for Formal Analysis of Real Systems, MARS 2024

Y2 - 6 April 2024 through 6 April 2024

ER -

Modelling the Raft Distributed Consensus Protocol in mCRL2

Samenvatting

Bibliografische nota

Toegang tot document

Andere bestanden en links

Vingerafdruk

Citeer dit