Для цитирования:

Гречаник С.А. Полипрограммы и бисимуляция полипрограмм. Моделирование и анализ информационных систем. 2018;25(5):534–548. https://doi.org/10.18255/1818-1015-2018-5-534-548

For citation:

Grechanik S. Polyprograms and Polyprogram Bisimulation. Modeling and Analysis of Information Systems. 2018;25(5):534–548. https://doi.org/10.18255/1818-1015-2018-5-534-548