Chain replication in theory and in practice
Scott Lystig Fritchie · 2010
When implementing a distributed storage system, using an algorithm with a formal definition and proof is a wise idea. However, translating any algorithm into effective code can be difficult because the implementation must be both correct and fast.