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

Gladstein, Vladimir ; Moiseenko, Evgenii ; et al.

In: Scientific and Technical Journal of Information Technologies, Mechanics and Optics, Jg. 22 (2022-06-01), S. 517-527

Online unknown

Zugriff:

Titel:	Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models
Autor/in / Beteiligte Person:	Gladstein, Vladimir ; Moiseenko, Evgenii ; Podkopaev, Anton ; Koznov, Dmitrij
Link:	View record in OpenAIRE (Volltext) https://doi.org/10.17586/2226-1494-2022-22-3-517-527
Zeitschrift:	Scientific and Technical Journal of Information Technologies, Mechanics and Optics, Jg. 22 (2022-06-01), S. 517-527
Veröffentlichung:	ITMO University, 2022
Medientyp:	unknown
ISSN:	2226-1494 (print)
DOI:	10.17586/2226-1494-2022-22-3-517-527
Schlagwort:	Mechanical Engineering Atomic and Molecular Physics, and Optics Computer Science Applications Information Systems Electronic, Optical and Magnetic Materials
Sonstiges:	Nachgewiesen in: OpenAIRE Rights: OPEN

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.