Kozachok, A. and Kochetkov, E. 2017. Formal Model of Process Functioning in the Operating System. SPIIRAS Proceedings. 2, 51 (Mar. 2017), 78-96. DOI:https://doi.org/10.15622/sp.51.4.