%0 Journal Article %A I. V. Tarasyuk %T Performance preserving equivalence for stochastic process algebra dtsdPBC %J Sibirskie èlektronnye matematičeskie izvestiâ %D 2023 %P 646-699 %V 20 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/SEMR_2023_20_2_a53/ %G en %F SEMR_2023_20_2_a53