Формальная модель функционирования процесса в операционной системе - Козачок, Александр Васильевич; Кочетков, Евгений Викторович (Труды СПИИРАН, 2017)