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

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

Research output: Contribution to journal › Article › peer-review

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

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

@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",

}

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