An example of performance evaluation by using the stochastic process algebra: ROSA.

Fernando L. Pelayo, Fernando Cuartero, Valentn Valero Ruiz, Diego Cazorla

Browse the full RTCSA paper archive.