Сompilations method and semantic verification time parameterized of multiparallel programs. (2017). Computer Science and Cybersecurity, 4, 26-34. https://periodicals.karazin.ua/cscs/article/view/8264