Изменения
Нет описания правки
[[Категория: Параллельное программирование]]
'''Глобальные свойства системы'''-- это предикаты, которые бывают двух видов:* стабильное (если появилось, то навсегда)стабильные предикаты * нестабильноенестабильные предикаты
Стабильные предикаты можно формализовать следующим образом:Пусть G и H согласованные срезы, будем говорить, что G <= H, если H достижимо из G. Тогда B стабильный предикат тогда и тогда тогда, когда ∀ G, H: G <= H : B(G) ⇒ B(H), т.е В стабильный предикат, если однажды дав true, то остается true навсегда. Примеры стабильных свойств - предикатов: deadlock, остановtermination, loss of token.
