Сompilations method and semantic verification time parameterized of multiparallel programs. CS&CS E-journal. 2017;(4):26-34. Accessed October 24, 2026. https://periodicals.karazin.ua/cscs/article/view/8264