Text this: Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей: автореферат диссертации на соискание ученой степени кандидата технических наук