Предложена математическая семантика плоских многопотоковіх моделей языка UCM. В качестве формализма используется инсерционная модель, обогащенная взаимодействием параллельных процессов через общую память. Разработана функция погружения параллельных процессов UCM в среду. Семантика предложена для символьной верификации многопотоковых моделей.

Управляющие системы и машины [Текст] : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — статьи публ.на русск.укр. и англ .яз. — К.

• УДК // Комп’ютерні мови
• УДК // МАТЕМАТИЧНА КІБЕРНЕТИКА