Modeling the Raft Distributed Consensus Protocol in LNT.

Published in: MARS@ETAPS (2020)

Keyphrases

distributed systems
lightweight
cooperative
distributed environment
formal analysis
hierarchical architecture
wide area network
cryptographic protocols
distributed processing
distributed data
distributed computing
fault tolerance
fault tolerant
distributed databases
mobile agents
wireless networks
peer to peer