Изменения

|definition = Исполнение <tex> (H, \rightarrow_H) </tex> '''линеаризуемо''', если существует эквивалентное ему допустимое последовательное исполнение<tex> (L(H), которое сохраняет порядок отношения \rightarrow_{L(H)}) </tex> , называемое '''линеаризацией''', и верно что <tex> \forall e, f \rightarrow in H: e \rightarrow_H f \Rightarrow e \rightarrow_{L(H)} f </tex>, то есть сохраняется отношение "произошло до".