Pashchenko, D.V. et al. 2021. Research of a multithreaded non-deterministic system model. Nexo Revista Científica. 34, 01 (Apr. 2021), 193–204. DOI:https://doi.org/10.5377/nexo.v34i01.11297.