Расчетная модель для нахождения состояния гонки в многопоточных алгоритмах
Заборовский, Никита Владимирович. Расчетная модель для нахождения состояния гонки в многопоточных алгоритмах : диссертация ... кандидата физико-математических наук : 05.13.18 / Заборовский Никита Владимирович; [Место защиты: Моск. физ.-техн. ин-т (гос. ун-т)].- Москва, 2011.- 104 с.: ил. РГБ ОД, 61 12-1/457