JEPSEN TESTING: Ensuring Distributed Systems Reliability Through Rigorous Fault Injection and Verification

Erlang for Distributed Systems: Telecom Grade Concurrency Reliability and Scalability

IMPLEMENTATION OF FAULT INJECTION FOR LINUX DRIVERS TESTING

DISTRIBUTED SYSTEMS DESIGN: Fault tolerance consistency models and large scale system coordination

Fault Tolerant Message Passing Distributed Systems: An Algorithmic Approach