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