Babakov, R. M. ., Barkalov, A. A. . and Titarenko, L. A. . (2026) “MULTIPROCESS IMPLEMENTATION OF ALGORITHMS FOR ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE”, Radio Electronics, Computer Science, Control, (2), pp. 136–147. doi: 10.15588/1607-3274-2026-2-12.