Частичный порядок — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 4: Строка 4:
 
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:
 
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:
 
* Посылка сообщений предшествует его приему.
 
* Посылка сообщений предшествует его приему.
* События, принадлежащие одному потоку, естесственным образом упорядочены.
+
* События, принадлежащие одному потоку, естественным образом упорядочены.

Версия 12:34, 18 июня 2012

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

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

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