Информатика, вычислительная техника и управление. Диссертация Теоретико-категорное исследование эквивалентностей параллельных моделей с реальным временем : диссертация ... кандидата физико-математических наук : 05.13.11, Новосибирск, 2004