Исходя из общих представлений об исполнении последовательных и параллельных процессов на вычислительных системах выводится аксиоматическая теория объектно-событийных мделей. Формулируется ряд интересных предельных теорем. Определяется равномощность абстрактной предельной модели машине Тьюринга и реальной предельной модели процедуре с планированием повторного входа. Предлагается машина вывода моделей, унифицирующая их структуру и содержание с данными о предментой области. Предложены концепции дедукции и прямого порождения программ на базе моделей. Развиты идеи эффективного последовательного и параллельного программирования некоторых алгоритмов на процедурах с планированием повторного входа. Вводится понятие метаслоя программы, занимающегося индукцией/моделированием алгоритмов, данных и функциональных характеристик программ на базе предлагаемых объектно-событийных моделей. Предикция соответствующих аспектов программы в метаслое дает информацию для оптимизации ее исполнения. Это и многое другое вы найдете в книге Теория объектно-событийных моделей (Владимир Пекунов)