Математика. Диссертация Моделирование распределенных систем и анализ их семантических свойств : диссертация ... доктора физико-математических наук : 01.01.09, Ярославль, 2006