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