Изменения
→Декомпозиция исполнения
* <tex> H -</tex> множество '''операций''' <tex> (\forall e \in H: e \subset G)
* <tex> G -</tex> множество '''событий'''
* <tex> \rightarrow_G -</tex> отношение строгого порядка '''произошло до''' на '''событиях''' из <tex> G </tex>* <tex> inv, res: H \rightarrow G -</tex> такие функции, что
** <tex> \forall e \in H: inv(e) \rightarrow_G res(e) </tex>
** <tex> \forall e \in H, g \in e, g \neq inv(e), g \neq res(e): inv(e) \rightarrow_G g \rightarrow_G res(e) </tex>
|definition = Определим '''произошло до''' на '''операциях''': <tex> \forall e, f \in H: e \rightarrow_H f = res(e) \rightarrow_G inv(f) </tex>
}}
== Свойства линеаризуемости ==
