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 (Jun. 2026), 136–147. DOI:https://doi.org/10.15588/1607-3274-2026-2-12.