Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Evgenii A. Moiseenko"'
Publikováno v:
Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Vol 22, Iss 3, Pp 517-527 (2022)
Memory models define semantics of concurrent programs operating on shared memory. Theory of these models is an active research topic. As new models emerge, the problem of providing a rigorous formal specification of these models becomes relevant. In
Externí odkaz:
https://doaj.org/article/d528d5ddc2704d88ba0c0367188f3ac8
Publikováno v:
Manuscript. :68-72
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8da8c49ba4868b22b3455858b5f84e32
https://doi.org/10.30853/manuscript.2019.3.13
https://doi.org/10.30853/manuscript.2019.3.13