|
|
|
|
|
|
by eatonphil
1021 days ago
|
|
|
Cheers! > Figure 2 is great, but I would agree the entire paper is needed if you are implementing raft. There are a few specifics in the paper that you need when implementing it. It was more than that. I'm blanking on what it was but there were parts where I really couldn't find anything about the intended behavior in the paper (let alone in Figure 2) except for in Diego's thesis or in the TLA+ spec. Though maybe I was just not reading the paper correctly. |
|
|