Досліджено середовище паралельного виконання з переключенням і взаємодією через спільну пам'ять. В роботі введено модель паралелізму з динамічним станом транзиційної системи для породження екземплярів паралельних підпрограм та приєднання їх після завершення виконання. У введеній моделі динамічного стану визначено семантику функцій start та join. Судження проведено в межах методу доведення властивостей програм (у тому числі - коректності) у Interleaving Parallel Compositional Languages (IPCL). Мови класу IPCL є адекватною моделлю суперкомп'ютерів з архітектурою спільної пам'яті (UMA та NUMA, апаратних архітектур симетричної багатопроцесорної обробки, операційних систем, систем управління базами даних, централізованих сховищ даних, серверної частини програмного забезпечення клієнт-серверних комплексів тощо). Це розширення є важливим, адже надає змогу моделювати роботу multithreading програм. Залишається важливим питання щодо еквівалентності (або взаємовиразності) двох моделей - з фіксованою параметричною кількістю паралельних програм та з породженням нових екземплярів програм і, відповідно, динамічним станом, семантику якого введено у даній роботі.

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Панченко Тетяна Василівна (політичні науки)
• Панченко Тетяна Василівна (фізико-математичні науки)
• Панченко Тетяна Володимирівна (педагогічні науки)
• Панченко Тарас Володимирович (фізико-математичні науки)
• Панченко Тарас Валентинович (сільськогосподарські науки)
• Іванов Євгеній Валентинович (філософські науки)
• Іванов Євген В'ячеславович (фізико-математичні науки)
• Іванов Євген Валентинович (історичні науки)
• Іванов Євген Вікторович (педагогічні науки)
• Іванов Євген Володимирович (національна безпека)

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