Pavel S. Andrianov. Analysis of Correct Synchronization of Operating System Components. Programming and Computer Software, 46(8):712-730, 2020. [doi]
@article{Andrianov20,
title = {Analysis of Correct Synchronization of Operating System Components},
author = {Pavel S. Andrianov},
year = {2020},
doi = {10.1134/S0361768820080022},
url = {https://doi.org/10.1134/S0361768820080022},
researchr = {https://researchr.org/publication/Andrianov20},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {46},
number = {8},
pages = {712-730},
}