1. Kozachok A., Kochetkov E. Formal Model of Process Functioning in the Operating System // SPIIRAS Proceedings. 2017. № 51 (2). C. 78-96.