TY  - JOUR
AU  - I. V. Tarasyuk
AU  - H. Macià
AU  - V. Valero
TI  - Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2018
SP  - 1743
EP  - 1812
VL  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2018_15_a119/
LA  - en
ID  - SEMR_2018_15_a119
ER  -