Розглянуто деякі теоретичні та прикладні питання розпаралелювання обчислень.Обговорено можливі формалізації таких понять, як обчислювальна середа та програма. У вибраній формалізації використано поняття програми за Скоттом. Одержана формалізація використовується для конструювання ефективного алгоритму розпаралелювання виконання програм, який можна реалізувати на практиці.

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