Изменения

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

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

206 байт убрано, 22:26, 2 июня 2019
Нет описания правки
Можно говорить "существует/не существует согласованный срез", но если у нас система ещё работает, то "не существует" мы можем заявить лишь на каком-то префиксе срезов системе.
Пусть $G$ и $H$ — согласованные срезы. Будем говорить, что $G \le H$, если H достижимо из G (т.е. $G \subseteq H$ в смысле событий).
{{Определение
|definition=
292
правки

Навигация