Частичный порядок — различия между версиями
м (rollbackEdits.php mass rollback) |
|
| (не показана 1 промежуточная версия 1 участника) | |
(нет различий)
| |
Текущая версия на 19:12, 4 сентября 2022
Частичный порядок – транзитивное рефлексивное антисимметричное отношение.
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:
- Посылка сообщений предшествует его приему.
- События, принадлежащие одному потоку, естественным образом упорядочены.
