3. Фундаментальные и технологические проблемы информационных, телекоммуникационных и вычислительных систем
Программа 3.3. Архитектура, системные решения и программно-аппаратное обеспечение информационно-вычислительных комплексов новых поколений — распределенные вычисления, распределенные высокопроизводительные вычислительные ресурсы, параллельные вычисления, системы массового параллелизма, программное обеспечение

Для непрерывно-временных параллельных моделей сформулированы теоретико-категорные характеризации широкого спектра поведенческих эквивалентностей, что позволило решить проблему их распознавания в случае моделей с конечным числом состояний. Построена иерархия взаимосвязей эквивалентностей в семантиках «интерливинг/истинный параллелизм» и «линейное/ветвистое время» для непрерывно-временных расширений моделей структур событий.