Tarasyuk Igor' Valer'evich

Publications in Math-Net.Ru

1. Performance preserving equivalence for stochastic process algebra dtsdPBC
   
   Sib. Èlektron. Mat. Izv., 20:2 (2023),  646–699
2. Performance evaluation in stochastic process algebra dtsdPBC
   
   Sib. Èlektron. Mat. Izv., 18:2 (2021),  1105–1145
3. Discrete time stochastic and deterministic Petri box calculus dtsdPBC
   
   Sib. Èlektron. Mat. Izv., 17 (2020),  1598–1679
4. Logical characterization of fluid equivalences
   
   Sib. Èlektron. Mat. Izv., 16 (2019),  826–862
5. Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
   
   Sib. Èlektron. Mat. Izv., 15 (2018),  1743–1812
6. Equivalences for fluid stochastic Petri nets
   
   Sib. Èlektron. Mat. Izv., 14 (2017),  317–366
7. Stochastic process reduction for performance evaluation in dtsiPBC
   
   Sib. Èlektron. Mat. Izv., 12 (2015),  513–551
8. Modeling and Performance Analysis of Concurrent Processes in the Algebra $dtsPBC$
   
   Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 9:4 (2009),  90–117
9. Equivalences for stochastic Petri nets and stochastic process algebras
   
   Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 6:1 (2006),  14–42