The following pages link to Igor V. Tarasyuk (Q1798122):
Displayed 27 items.
- (Q174369) (redirect page) (← links)
- (Q300301) (redirect page) (← links)
- Performance analysis of concurrent systems in algebra dtsiPBC (Q300304) (← links)
- Equivalence and lumpability of FSPNs (Q1798123) (← links)
- Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
- Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Equivalences for fluid stochastic Petri nets (Q2403677) (← links)
- Stochastic process reduction for performance evaluation in dtsiPBC (Q2630609) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- (Q2880610) (← links)
- (Q2882947) (← links)
- (Q2883054) (← links)
- (Q2898944) (← links)
- (Q2979815) (← links)
- (Q2979825) (← links)
- (Q2979884) (← links)
- (Q3023541) (← links)
- (Q3152933) (← links)
- (Q3429643) (← links)
- (Q4499486) (← links)
- (Q4517039) (← links)
- (Q4517366) (← links)
- (Q4517382) (← links)
- (Q4947318) (← links)
- Equivalence relations for modular performance evaluation in dtsPBC (Q5740349) (← links)
- Equivalence notions applied to designing concurrent systems with the use of Petri nets (Q5930945) (← links)