Алгоритмические свойства формальных моделей параллельных и распределенных систем
Кузьмин, Егор Владимирович. Алгоритмические свойства формальных моделей параллельных и распределенных систем : диссертация ... доктора физико-математических наук : 05.13.17 / Кузьмин Егор Владимирович; [Место защиты: Институт программных систем РАН].- Переславль-Залесский, 2011.- 312 с.: ил.