F.L. Pelayo, F. Cuartero, V. Valero, D. Cazorla, "An example of performance evaluation by using the stochastic process algebra: ROSA," Real-Time Computing Systems and Applications, International Workshop on, pp. 271, Seventh International Conference on Real-Time Computing Systems and Applications (RTCSA'00), 2000.

@article{ 10.1109/RTCSA.2000.896401,
author = {F.L. Pelayo and F. Cuartero and V. Valero and D. Cazorla},
title = {An example of performance evaluation by using the stochastic process algebra: ROSA},
journal ={Real-Time Computing Systems and Applications, International Workshop on},
volume = {0},
year = {2000},
issn = {1533-2306},
pages = {271},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.896401},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Real-Time Computing Systems and Applications, International Workshop on
TI - An example of performance evaluation by using the stochastic process algebra: ROSA
SN - 1533-2306
SP
EP
A1 - F.L. Pelayo,
A1 - F. Cuartero,
A1 - V. Valero,
A1 - D. Cazorla,
PY - 2000
KW - performance evaluation; process algebra; algebraic specification; specification languages; real-time systems; temporal logic; performance evaluation; stochastic process algebra; ROSA; algebraic language; performance indexes; temporal requirements; Reasoning On Stochastic Algebras; Alternating Bit Protocol; average time to send a message; formal methods; real-time requirements; designs specifications; fault tolerance; case studies
VL - 0
JA - Real-Time Computing Systems and Applications, International Workshop on
ER -