Вы здесь

Gribovskaya N. S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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