With a scheduler that is at least w

With a scheduler that is at least weakly fair, the difference between faulty and the fault-free systems becomes perceptible to the outside world. For the same system, one can model a crash failure by specifying the F-action as true → x: = false. After F is executed, the system ceases to produce an output—a condition that cannot be reversed using the actions of S or F.

Результаты (русский) 1:

С помощью планировщика, является хотя бы слабо справедливым, разница между неисправным и вине свободных систем становится ощутимой к внешнему миру. Для одной системы, одна может моделировать сбой аварии путем указания F-действия как true → x: = false. После выполнения F система перестает производить вывод — условие, которое не может быть отменено с помощью действия S или ф

Результаты (русский) 2:

С помощью планировщика, который является, по меньшей мере слабо справедливо, разница между неисправны и неповрежденных систем становится ощутимым для внешнего мира. По той же системе, можно моделировать сбой аварии, указав F-действие, как верно → х: = ложь. После того, как F выполняется, система перестает вырабатывать выходной-условие, которое не может быть отменено с помощью действия S или F.