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