Standard

MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE. / Гладштейн, Владимир Петрович; Михайловский, Дмитрий Владимирович; Моисеенко, Евгений Александрович; Трунов, Антон.

в: Труды института системного программирования РАН, Том 33, № 3, 2021, стр. 143-154.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Гладштейн, ВП, Михайловский, ДВ, Моисеенко, ЕА & Трунов, А 2021, 'MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE', Труды института системного программирования РАН, Том. 33, № 3, стр. 143-154. https://doi.org/10.15514/ISPRAS-2021-33(3)-11

APA

Гладштейн, В. П., Михайловский, Д. В., Моисеенко, Е. А., & Трунов, А. (2021). MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE. Труды института системного программирования РАН, 33(3), 143-154. https://doi.org/10.15514/ISPRAS-2021-33(3)-11

Vancouver

Гладштейн ВП, Михайловский ДВ, Моисеенко ЕА, Трунов А. MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE. Труды института системного программирования РАН. 2021;33(3):143-154. https://doi.org/10.15514/ISPRAS-2021-33(3)-11

Author

Гладштейн, Владимир Петрович ; Михайловский, Дмитрий Владимирович ; Моисеенко, Евгений Александрович ; Трунов, Антон. / MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE. в: Труды института системного программирования РАН. 2021 ; Том 33, № 3. стр. 143-154.

BibTeX

@article{547af1a829134974b814cd225184fc69,
title = "MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE",
author = "Гладштейн, {Владимир Петрович} and Михайловский, {Дмитрий Владимирович} and Моисеенко, {Евгений Александрович} and Антон Трунов",
year = "2021",
doi = "10.15514/ISPRAS-2021-33(3)-11",
language = "English",
volume = "33",
pages = "143--154",
journal = "Труды института системного программирования РАН",
issn = "2079-8156",
publisher = "Институт системного программирования им. В.П.Иванникова РАН",
number = "3",

}

RIS

TY - JOUR

T1 - MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE

AU - Гладштейн, Владимир Петрович

AU - Михайловский, Дмитрий Владимирович

AU - Моисеенко, Евгений Александрович

AU - Трунов, Антон

PY - 2021

Y1 - 2021

U2 - 10.15514/ISPRAS-2021-33(3)-11

DO - 10.15514/ISPRAS-2021-33(3)-11

M3 - Article

VL - 33

SP - 143

EP - 154

JO - Труды института системного программирования РАН

JF - Труды института системного программирования РАН

SN - 2079-8156

IS - 3

ER -

ID: 84855071