Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

From MaRDI portal
Publication:2633503

DOI10.33048/semi.2018.15.144zbMath1414.60062arXiv1702.07478OpenAlexW3015864650MaRDI QIDQ2633503

Hermenegilda Macià Soler, Igor V. Tarasyuk, Valentín Valero Ruiz

Publication date: 9 May 2019

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1702.07478




Related Items (2)


Uses Software


Cites Work


This page was built for publication: Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC