Modeling systems by probabilistic process algebra: an event structures approach

Autor: Katoen, Joost-Pieter, Langerak, Rom, Latella, Diego, Tenney, Richard L., Amer, Paul D., Ümit Uyar, M.

Publikováno v: Formal description techniques, VI: proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques-FORTE '93: Boston, MA, U.S.A., 26-29 October 1993, 253-269
STARTPAGE=253;ENDPAGE=269;TITLE=Formal description techniques, VI

Performance and reliability analysis of distributed systems based on formal specifications is an important and widely recognized issue. This paper treats a probabilistic version of (a subset of) the process algebra LOTOS. It incorporates a probabilis

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::52a26b63d02315d23d0aa8c905c983cb
https://research.utwente.nl/en/publications/c91df9c0-4eea-4777-b281-b7b91236cb3c