1
правка
Изменения
Нет описания правки
[[Категория: Параллельное программирование]]'''Частичный порядок''' – транзитивное антирефлексивное рефлексивное антисимметричное отношение.
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:
* Посылка сообщений предшествует его приему.
* События, принадлежащие одному потоку, естесственным естественным образом упорядочены.