Операционная семантика аннотированных Reflex программ | Ануреев | Моделирование и анализ информационных систем

Поиск

Листать

Личный кабинет

Язык

Инструменты статьи

Поиск ссылок

Послать статью по эл. почте (Необходимо имя пользователя (логин))

Связаться с автором (Необходимо имя пользователя (логин))

Об авторе

Игорь Сергеевич Ануреев
Институт систем информатики им. А.П. Ершова СО РАН, Институт автоматики и электрометрии СО РАН
Россия

канд. физ.-мат. наук, с.н.с.

Логотип Atom

Загрузить этот файл PDF

Полноэкранный режим

Для цитирования: Ануреев И.С. Операционная семантика аннотированных 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

Просмотров: 48

Обратные ссылки

Обратные ссылки не определены.

Creative Commons License

Контент доступен под лицензией Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)