Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (English)
Free access
- New search for: Tarasyuk, Igor V.
- New search for: Macià, Hermenegilda
- New search for: Valero, Valentín
- New search for: Tarasyuk, Igor V.
- New search for: Macià, Hermenegilda
- New search for: Valero, Valentín
2017
- Preprint / Electronic Resource
-
Title:Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
-
Contributors:
-
Publisher:
- New search for: arXiv
-
Publication date:2017
-
Remarks:Prepared for submission to Discrete Mathematics and Theoretical Computer Science
-
Type of media:Preprint
-
Type of material:Electronic Resource
-
Language:English
-
Classification:
-
Licence:
-
Source: