Giters

shchae7 / raft_maude

Maude model of Raft Algorithm

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

maudemaude-languageraftraft-algorithm

raft_maude

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

About

Maude model of Raft Algorithm

maudemaude-languageraftraft-algorithm