|
СТ |
Open maps and weak trace equivalence for timed event structures |
2006 |
Gribovskaya N. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
02.03.2007 |
|
СТ |
A Categorial Observaion of Timed Testing Equivalence |
2007 |
Gribovskaya N., Virbitskaite I. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.11.2007 |
|
СТ |
A Categorical View of Timed Weak Bisimulation |
2010 |
Gribovskaya N., Virbitskaite I. |
Lecture Notes in Computer Science |
|
|
LNCS |
29.06.2010 |
|
СТ |
From Event-Oriented Models to Transition Systems |
2018 |
Gribovskaya N., Virbitskaite I., Best E. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
25.09.2018 |
