Pashchenko, D.V., Trokoz, D.A., Martyshkin, A.I., Pashchenko, T.Y., Butaev, M.M. and Babich, M.Y. 2021. Research of a multithreaded non-deterministic system model. Nexo Scientific Journal. 34, 01 (Apr. 2021), 193–204. DOI:https://doi.org/10.5377/nexo.v34i01.11297.