Modelling failures of distributed systems in stochastic process algebras
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik
2013
rozdział w monografii naukowej
angielski
EN The article presents a discussion on modelling failures of distributed systems in stochastic process algebras. The discussion is important from the point of view of proper representation of failures in order to express their impact on system’s performance. The article presents formal definitions of failure models, as well as examples that are represented in one of the most popular stochastic process algebras — PEPA.
119 - 129