raft_maude

Maude model of Raft Algorithm introduced in 'In Search of an Understandable Consensus Algorithm' with some simplification

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
README.md		README.md
candidate.maude		candidate.maude
follower.maude		follower.maude
leader.maude		leader.maude
log.maude		log.maude
message.maude		message.maude
node.maude		node.maude
offline.maude		offline.maude
raft.maude		raft.maude

Provide feedback