A Method of a Proof of Observational Equivalence of Processesстатья

Дата последнего поиска статьи во внешних источниках: 3 октября 2016 г.

Работа с статьей


[1] Mironov A. A method of a proof of observational equivalence of processes // Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation. — Издательство университета г. Переславля Pereslavl-Zalessky, 2014. — P. 194–222. edited by.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть