Kozachok, A.; Kochetkov, E. Formal Model of Process Functioning in the Operating System. SP 2017, 2, 78-96.