51
правка
Изменения
→Правильное исполнение
{{Определение
|id = restriction_on_thread
|definition = [[Файл: Well formed.png|справа|300px400px|Пример правильного и неправильного исполнения]]
'''Сужение''' исполнения <tex> (H, \rightarrow) </tex> на поток <tex> P - </tex> исполнение, в котором остались только операции, происходящие в потоке <tex> P </tex>. <br /> Обозначение: <tex> \left.H\right|_P </tex>. Формально <tex> \left.H\right|_P = \{e \in H|\ proc(e) = P\}</tex> <br />
Исполнение называется '''правильным''' (англ. ''well-formed''), если его сужение на каждый поток <tex> P </tex> является последовательным.
