Розглянуто систему інсерційного моделювання, розроблену О. А. Летичевським 100/105 відділу Інституту кібернетики імені Глушкова, Національна академія наук України, Київ, Україна. Система інсерційного моделювання (IMS) побудована над системою алгебричного програмування (APS), також розроблена О. А. Летичевським у 1987. Розглянуто мобільні амбієнти і обчислення процесів, впроваджене Л. Карделлі та А. Гордоном у 1998, яке використовується для опису та теоретизації паралельних систем, які включають мобільність. Обговорено підхід до створення какрасу мобільних амбієнт у системі інсерційного моделювання.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"