DMCA
An Example of Performance Evaluation by using the Stochastic Process Algebra: ROSA (2000)
| Venue: | Cheju Island, South Korea |
| Citations: | 4 - 3 self |
BibTeX
@INPROCEEDINGS{Pelayo00anexample,
author = {Fernando L. Pelayo and Fernando Cuartero and Valentin Valero and Diego Cazorla and Escuela Politecnica and Superior Albacete},
title = {An Example of Performance Evaluation by using the Stochastic Process Algebra: ROSA},
booktitle = {Cheju Island, South Korea},
year = {2000},
pages = {271--278}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 application, we analyse the Alternating Bit Protocol obtaining the average time to send a message, considering that channels may fail with a known probability.
