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