Обгрунтовано універсальність класу мов IPCL та методології доведення властивостей програм відносно двох типів міжпроцесної взаємодії, відносно режимів виконання незалежних частин програм та відносно розширеної систематики Флінна.
Generality of IPCL class and the Method for Program Properties Proof in relation to two interprocess communication types, to execution of independent program parts modes, and to the extended Flynn"s classification was proven.