Редактирование: Частичный порядок
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 4: | Строка 4: | ||
Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил: | Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил: | ||
* Посылка сообщений предшествует его приему. | * Посылка сообщений предшествует его приему. | ||
− | * События, принадлежащие одному потоку, | + | * События, принадлежащие одному потоку, естесственным образом упорядочены. |