Наукова періодика України Control systems & computers

Губа А. А. 
Инсерционная семантика плоских многопотоковых моделей языка UCM / А. А. Губа, К. И. Шушпанов // Управляющие системы и машины. - 2012. - № 6. - С. 15-21, 34. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_3
Предложена математическая семантика плоских многопотоковых моделей языка UCM. В качестве формализма использована инсерционная модель, обогащенная взаимодействием параллельных процессов через общую память. Разработана функция погружения параллельных процессов UCM в среду. Семантика предложена для символьной верификации многопотоковых моделей.
  Повний текст PDF - 757.809 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Губа А.
  • Шушпанов К.

    • Бібліографічний опис для цитування:

    Губа А. А. Инсерционная семантика плоских многопотоковых моделей языка UCM / А. А. Губа, К. И. Шушпанов // Управляющие системы и машины. - 2012. - № 6. - С. 15-21, 34. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_6_3.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського