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

Материал из Викиконспекты
Версия от 14:08, 26 июня 2010; Andrey Danilchenko (обсуждение | вклад) (Новая страница: «'''Частичный порядок''' – транзитивное антирефлексивное антисимметричное отношение. Введ…»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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

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

  • Посылка сообщений предшествует его приему.
  • События, принадлежащие одному потоку, естесственным образом упорядочены.