Fault-Tolerant Message-Passing Distributed Systems