TY - JOUR AU - I. V. Tarasyuk TI - Performance evaluation in stochastic process algebra dtsdPBC JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2021 SP - 1105 EP - 1145 VL - 18 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SEMR_2021_18_2_a59/ LA - en ID - SEMR_2021_18_2_a59 ER -