The following pages link to Nataliya Gribovskaya (Q2280182):
Displayed 18 items.
- (Q1758670) (redirect page) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- From event-oriented models to transition systems (Q2280183) (← links)
- (Q2880586) (← links)
- (Q2880604) (← links)
- (Q2880624) (← links)
- (Q2963893) (← links)
- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
- (Q2979882) (← links)
- A Categorical View of Timed Behaviours (Q3008110) (← links)
- Timed History Preserving Bisimulation and Open Maps (Q3455065) (← links)
- A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences (Q3457977) (← links)
- A Categorical View of Timed Weak Bisimulation (Q3569097) (← links)
- (Q4818753) (← links)
- (Q5192929) (← links)
- (Q5398251) (← links)
- Perspectives of System Informatics (Q5902414) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)