Частичный порядок
Версия от 15:14, 26 июня 2010; Andrey Danilchenko (обсуждение | вклад)
Частичный порядок – транзитивное антирефлексивное антисимметричное отношение.
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:
- Посылка сообщений предшествует его приему.
- События, принадлежащие одному потоку, естесственным образом упорядочены.
