Stav dette: Корректность параллельных вычислительных процессов