Изменения

[[Категория: Параллельное программирование]]

Введем частичный порядок предшествования на событиях, как транзитивное замыкание следующих правил:

* Посылка сообщений предшествует его приему.

* События, принадлежащие одному потоку, естественным образом упорядочены.