Alexey Yurievich Zubarev Russian Federation, Novosibirsk Research area theory of parallel processes specification and verification of parallel real-time systems Petri Nets Affiliation & position A.P. Ershov Institute of Informatics Systems — junior researcher E-mail auzubarev@mail.ru
Zubarev A. Type analysis for the predicate programming language // System Informatics. — 2017. — # 9. — P. 1-22
Zubarev A. The Сomparison of equivalences of dense-time Petri nets with respect to memory policies // System Informatics. — 2024. — # 24. — P. 33-58
