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