|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
A Method of a Proof of Observational Equivalence of Processesстатья
- Автор: Mironov A.
- Сборник: Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation
- Год издания: 2014
- Место издания: Издательство университета г. Переславля Pereslavl-Zalessky
- Первая страница: 194
- Последняя страница: 222
- Аннотация: edited by
- Добавил в систему: Миронов Андрей Михайлович