Изменения
→Определения
{{Определение
|id = sequenced_control_flow
|definition = Исполнение системы <tex> (H , \rightarrow) </tex> называется '''последовательным''', если <tex> \forall e, f \in H: (e = f) \lor (e \rightarrow f) \lor (f \rightarrow e) </tex>. То есть, если все операции линейно-упорядочены отношением "произошло до".
}}
{{Определение
|id = restriction_on_thread
|definition = '''Сужение''' исполнения <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>
}}
{{Определение
{{Определение
|id = restriction_on_object
|definition = '''Сужение''' исполнения <tex> (H , \rightarrow) </tex> на объект <tex> x - </tex> исполнение, в котором остались только операции, взаимодействующие с объектом <tex> x </tex>. <br /> Обозначение: <tex> \left.H\right|_x </tex>. Формально <tex> \left.H\right|_x = \{e \in H|\ obj(e) = x\}</tex> <br /> '''Замечание''': в правильном исполнении сужение на объекты не всегда является последовательным
}}
