Сompilations Method and Semantic Verification Time Parameterized of Multiparallel Programs. CS&CS E-journal 2017, No. 4, 26-34.