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

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

Original language	English
Pages (from-to)	143-154
Journal	Труды института системного программирования РАН
Volume	33
Issue number	3
DOIs	https://doi.org/10.15514/ISPRAS-2021-33(3)-11
State	Published - 2021

ID: 84855071