RUS
ENG
Full version
PEOPLE
Mikhailovskii Dmitrii Vladimirovich
Publications in Math-Net.Ru
Mechanized theory of event structures: a case of parallel register machine
Proceedings of ISP RAS
,
33
:3 (2021),
143–154
©
Steklov Math. Inst. of RAS
, 2024
