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

Authors:
F. L. Pelayo;F. Cuartero;V. Valero;D. Cazorla
Affiliations:
-;-;-;-
Venue:
RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
Year:
2000

Citing 0
Cited 4

Generating the syntactic and semantics graphs for a Markovian process algebra

Journal of Computational and Applied Mathematics
Testing Semantics for RTPA

Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A comparative study of STOPA and RTPA

Transactions on computational science II
Testing Semantics for RTPA

Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)

Quantified Score

Hi-index	0.00

Visualization

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 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.