При поддержке: Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 17-07-01600, а также в рамках темы госзадания ИАиЭ СО РАН (№ АААА-А17-11706061006-6).
Для цитирования:
Ануреев И.С. Операционная семантика аннотированных Reflex программ. Моделирование и анализ информационных систем. 2019;26(4):475-487. https://doi.org/10.18255/1818-1015-2019-4-475-487
For citation:
Anureev I.S. Operational Semantics of Annotated Reflex Programs. Modeling and Analysis of Information Systems. 2019;26(4):475-487. (In Russ.) https://doi.org/10.18255/1818-1015-2019-4-475-487
Просмотров: 249
Послать статью по эл. почте 