Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем
Дубцов Роман Сергеевич. Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем : диссертация ... кандидата физико-математических наук : 05.13.11 / Дубцов Роман Сергеевич; [Место защиты: Ин-т систем информатики им. А.П. Ершова СО РАН].- Новосибирск, 2008.- 116 с.: ил. РГБ ОД, 61 09-1/252
