Сompilations method and semantic verification time parameterized of multiparallel programs. CS&CS E-journal [Internet]. 2017 Mar. 26 [cited 2026 Oct. 24];(4):26-34. Available from: https://periodicals.karazin.ua/cscs/article/view/8264