") were based on mathematics and made use of a global state to represent a computational "step" (later generalized in and Hayes 1969 and 1976 see Event orderings versus global state).
) были основаны на математике и использовали понятие глобального состояния, чтобы определить "шаг вычисления" (позднее эти понятия обобщены в работах and Hayes 1969 и 1976).