Preview

User

Not a user? Register with this site Forgot your password?

Scientific and Technical Journal of Information Technologies, Mechanics and Optics

Advanced search
Fullscreen

For citations:

Moiseenko E.A., Gladstein V.P., Podkopaev A.V., Koznov D.V. Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models. Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 2022;22(3):517-527. (In Russ.) https://doi.org/10.17586/2226-1494-2022-22-3-517-527

Views PDF (Rus): 2


Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 2226-1494 (Print)
ISSN 2500-0373 (Online)

Editorial address: office 2136, ITMO University, Lomonosov st., 9, Saint Petersburg, Russian Federation
Correspondence address: ITMO University, Kronverksky pr., 49, litera A, Saint Petersburg, Russian Federation, 197101
Phone: +7 (812) 480-02-75
E-mail: ntvitmo@itmo.ru

Processing of personal data
supported by NEICON (Elpub lab)