Valero Valentín

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

1. Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
   
   Сиб. электрон. матем. изв., 15 (2018),  1743–1812
2. Stochastic process reduction for performance evaluation in dtsiPBC
   
   Сиб. электрон. матем. изв., 12 (2015),  513–551