Для цитирования:

Андрианов П.С. Анализ корректности синхронизации компонентов ядра операционных систем. Труды Института системного программирования РАН. 2019;31(5):203-232. https://doi.org/10.15514/ISPRAS-2019-31(5)-16

For citation:

Andrianov P.S. Analysis of correct synchronization of operating system components. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(5):203-232. (In Russ.) https://doi.org/10.15514/ISPRAS-2019-31(5)-16