СТ |
A Logic Characteristic for Timed Extensions of Partial Oeder Based Equivalences |
2012 |
Gribovskaya N. S. |
Lecture Notes in Computer Science |
|
|
|
18.02.2013 |
СТ |
Categorical Modelling of trace equivalence for timed automata models with invariants |
2009 |
Gribovskaya N. S. |
|
|
|
Bulletin of the Novosibirsk Computing Center |
10.08.2009 |
СТ |
Causal trees and timed causal trees categorically |
2015 |
Gribovskaya N. S. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
16.06.2016 |
СТ |
Open maps and barbed bisimulation for timed transition systems |
2006 |
Gribovskaya N. S. |
|
|
|
Bull. Novosibirsk Computing Center. Ser.: Computer Science |
28.04.2006 |
СТ |
The timed barbed bisimulation is decidable for timed transition systems with invariants |
2010 |
Gribovskaya N. S. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
05.04.2011 |
СТ |
Timed History Preserving Bisimulation and Open Maps |
2015 |
Gribovskaya N. S. |
Lecture Notes in Computer Science |
|
|
|
02.09.2015 |