Публикация №8580

Название публикацииМЕТОД ДОКАЗАТЕЛЬСТВА НАБЛЮДАЕМОЙ ЭКВИВАЛЕНТНОСТИ ПРОЦЕССОВ С ПЕРЕДАЧЕЙ СООБЩЕНИЙ / A METHOD OF PROVING THE OBSERVATIONAL EQUIVALENCE OF PROCESSES WITH MESSAGE PASSING
Название на другом языке
Тип публикацииСтатья
ИзданиеИнформатика и ее применения
ИздательНе задан
ISBN1992-2264
DOIНе задан
Год издания2014
Том8
Номер2
ГлаваНе задан
Страницы55–69
АннотацияНе задан
АвторыМиронов Андрей Михайлович
ссылка в Internet
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН