Алгоритмы синтеза автоматов на программируемых матрицах
Корректность параллельных вычислительных процессов