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