分散合意アルゴリズム Raft の Log Matching Property について可能な限り形式的な証明をしました。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
