Publication | Open Access

The Heard-Of model: computing in distributed systems with benign faults

Fault-tolerant NetworkEngineeringVerificationHeard-of ModelFormal MethodsSystems EngineeringFault ToleranceFault RecoveryDistributed SystemsComputer ScienceFault-tolerant MessagingFormal VerificationSystem Software