Изменения

Перейти к: навигация, поиск

Глобальные свойства системы

208 байт добавлено, 14:20, 14 марта 2018

Нет описания правки

Примеры стабильных предикатов: deadlock, termination, loss of token.

Нестабильные предикаты это, соответственно, предикаты, которые не удовлетворяют условию стабильного предиката.

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/64344»