The following pages link to I. B. Virbitskaite (Q174077):
Displaying 34 items.
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Analysis of equivalence relations of event structures with continuous time (Q1592080) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- ``Truly concurrent'' and nondeterministic semantics of discrete-time Petri nets (Q2216716) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- From event-oriented models to transition systems (Q2280183) (← links)
- A Domain View of Timed Behaviors (Q2934891) (← links)
- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
- (Q2979817) (← links)
- A Categorical View of Timed Behaviours (Q3008110) (← links)
- (Q3043824) (← links)
- Unifying Equivalences for Higher Dimensional Automata (Q3168195) (← links)
- Branching Processes of Timed Petri Nets (Q3179184) (← links)
- Comparing Semantics Under Strong Timing of Petri Nets (Q3455089) (← links)
- A Categorical View of Timed Weak Bisimulation (Q3569097) (← links)
- (Q4507811) (← links)
- (Q4517366) (← links)
- (Q4529614) (← links)
- True Concurrent Equivalences in Time Petri Nets* (Q4589254) (← links)
- (Q4778629) (← links)
- (Q4782718) (← links)
- (Q4818753) (← links)
- (Q4934360) (← links)
- (Q4947227) (← links)
- (Q4947311) (← links)
- (Q4947319) (← links)
- (Q4951403) (← links)
- (Q5192929) (← links)
- (Q5486046) (← links)
- Perspectives of System Informatics (Q5902414) (← links)
- A method for parametric verification of the behavior of time Petri nets (Q5930822) (← links)
- The use of partial-order technique for verification of time Petri nets (Q5930930) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)
