TY  - RPRT
TI  - Modelling the Raft Distributed Consensus Protocol in mCRL2
AU  - Parth Bora
AU  - Pham Duc Minh
AU  - Tim A. C. Willemse
PY  - 2024
DO  - 10.4204/eptcs.399.4
UR  - https://arxiv.org/abs/2403.18916
ID  - 2403.18916
ER  -