Сompilations method and semantic verification time parameterized of multiparallel programs. Computer Science and Cybersecurity, n. 4, p. 26–34, 26 Mar.2017.