Modelling the Raft Distributed Consensus Protocol in mCRL2.

Parth Bora Pham Duc Minh Tim A. C. Willemse

Published in: MARS@ETAPS (2024)

Keyphrases

lightweight
distributed systems
multi agent
distributed environment
wide area network
cooperative
group communication
distributed data
communication overhead
hierarchical architecture
database
multi party
concurrency control protocols
computing environments
interprocess communication
electronic commerce
data sets