Тарасюк Игорь Валерьевич

Публикации в базе данных Math-Net.Ru

1. Performance preserving equivalence for stochastic process algebra dtsdPBC
   
   Сиб. электрон. матем. изв., 20:2 (2023),  646–699
2. Performance evaluation in stochastic process algebra dtsdPBC
   
   Сиб. электрон. матем. изв., 18:2 (2021),  1105–1145
3. Discrete time stochastic and deterministic Petri box calculus dtsdPBC
   
   Сиб. электрон. матем. изв., 17 (2020),  1598–1679
4. Logical characterization of fluid equivalences
   
   Сиб. электрон. матем. изв., 16 (2019),  826–862
5. Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
   
   Сиб. электрон. матем. изв., 15 (2018),  1743–1812
6. Equivalences for fluid stochastic Petri nets
   
   Сиб. электрон. матем. изв., 14 (2017),  317–366
7. Stochastic process reduction for performance evaluation in dtsiPBC
   
   Сиб. электрон. матем. изв., 12 (2015),  513–551
8. Моделирование и анализ производительности параллельных процессов в алгебре $dtsPBC$
   
   Вестн. НГУ. Сер. матем., мех., информ., 9:4 (2009),  90–117
9. Эквивалентности для стохастических сетей Петри и алгебр стохастических процессов
   
   Вестн. НГУ. Сер. матем., мех., информ., 6:1 (2006),  14–42