An example of performance evaluation by using the stochastic process algebra: ROSA
Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Diego Cazorla · 2002
We present an algebraic language for the description of probabilistic and non-deterministic processes, which allows us to evaluate performance indexes as well as to check some temporal requirements: ROSA (Reasoning On Stochastic Algebras). As an application, we analyse the Alternating Bit Protocol obtaining the average time to send a message, considering that channels may fail with a known probability.