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

Материал из Викиконспекты
Перейти к: навигация, поиск

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

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

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