Natalia S. Gribovskaya
E-mail
Organization:
  • A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher
Academic degree: PhD
List of Articles:
Gribovskaya N. Virbitskaite I. Transition system semantics for flow event structures // Computer Science. — 2019 . — # 43.  — P. 21–38
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