Kozachok A, Kochetkov E. Formal Model of Process Functioning in the Operating System. SP [Internet]. 31Mar.2017 [cited 11Nov.2026];2(51):78-6. Available from: https://ia.spcras.ru/index.php/sp/article/view/3457