Valero Valentín

Publications in Math-Net.Ru

1. Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
   
   Sib. Èlektron. Mat. Izv., 15 (2018),  1743–1812
2. Stochastic process reduction for performance evaluation in dtsiPBC
   
   Sib. Èlektron. Mat. Izv., 12 (2015),  513–551