Natalia S. Gribovskaya E-mail moskalyova@iis.nsk.su natamosk@ngs.ru Organization A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher Academic degree PhD
Gribovskaya N. Causal trees and timed causal trees categorically // Computer Science. — 2015. — # 38 — P. 91-103
Gribovskaya N. The timed barbed bisimulation is decidable for timed transition systems with invariants // Computer Science. — 2010. — # 31 — P. 65-90
Gribovskaya N. Categorical modelling of trace equivalence for timed automata models with invariants // Computer Science. — 2008. — # 28 — P. 55-66
Gribovskaya N. Open maps and weak trace equivalence for timed event structures // Computer Science. — 2006. — # 24 — P. 73-87
