Информатика, вычислительная техника и управление. Диссертация Расчетная модель для нахождения состояния гонки в многопоточных алгоритмах : диссертация ... кандидата физико-математических наук : 05.13.18, Москва, 2011