Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC | Publicación