Concepedia
Information and Computation · 1993 · 346 citations · 0 references
EngineeringTotally Asynchronous SystemsByzantine FaultSynchronization ProtocolFormal MethodsSet Consensus ProblemsSystems EngineeringFault ToleranceDistributed SystemsComputer ScienceFault-tolerant MessagingAsynchronous SystemsSelf-stabilizationFormal Verification