Nataliya Sergeevna Gribovskaya Russian Federation, Novosibirsk Academic degree Candidate of Physics and Mathematics Research area concurrent systems and processes formal models equivalences specification and verification of concurrent systems and processes Affiliation & position A.P. Ershov Institute of Informatics Systems — senior researcher Novosibirsk State University — senior lecturer E-mail gribovskaya@iis.nsk.sunatamosk@gmail.com
Gribovskaya N. Causality versus True Concurrency in the Setting of Real-Time Models // System Informatics. — 2013. — # 2. — P. 71-100
Gribovskaya N., Virbitskaite I. Partial Orders in Transition Systems from Resolvable Conflict Event Structures // System Informatics. — 2022. — # 20. — P. 1-24
