Частичный порядок

Материал из Викиконспекты
Версия от 19:12, 4 сентября 2022; Maintenance script (обсуждение | вклад) (rollbackEdits.php mass rollback)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Частичный порядок – транзитивное рефлексивное антисимметричное отношение.

Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:

  • Посылка сообщений предшествует его приему.
  • События, принадлежащие одному потоку, естественным образом упорядочены.
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Частичный_порядок&oldid=84590»