Publication | Closed Access

Self-stabilizing extensions for meassage-passing systems

EngineeringSurvivable SystemSelf-stabilizing ExtensionsFormal MethodsSystems EngineeringResilient Control SystemSelf-stabilization