Fernando L. PelayoFernando CuarteroValentín Valero RuizDiego CazorlaAn example of performance evaluation by using the stochastic process algebra: ROSA.271-2782000conf/rtcsa/2000RTCSAhttps://doi.org/10.1109/RTCSA.2000.896401https://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.896401db/conf/rtcsa/rtcsa2000.html#PelayoCRC00