Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models

Autor:	Vladimir Gladstein, Evgenii Moiseenko, Anton Podkopaev, Dmitrij Koznov
Rok vydání:	2022
Předmět:	Mechanical Engineering Atomic and Molecular Physics and Optics Computer Science Applications Information Systems Electronic Optical and Magnetic Materials
Zdroj:	Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 22:517-527
ISSN:	2226-1494
DOI:	10.17586/2226-1494-2022-22-3-517-527
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::7132087f2be4c92d424183e67cdfa3ec https://doi.org/10.17586/2226-1494-2022-22-3-517-527 Zobrazit plný text záznamu