Изменения
Нет описания правки
[[Категория: Параллельное программирование]]
Пусть E - система на основе событий (event-ориентированная система based system) с полным порядком (<tex>\prec</tex>) в рамках каждого процесса. Тогда <br>
'''Срез''' ''F'' - любое подмножество ''E'' такое, что <tex>f \in F, e \prec f \Rightarrow e \in F</tex>
