| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4642599 | Journal of Computational and Applied Mathematics | 2007 | 10 Pages |
Abstract
ROSA is a Markovian process algebra for the description and analysis of probabilistic and non-deterministic concurrent processes. ROSA allows us to evaluate performance indexes as well as to check some temporal requirements. 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.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Applied Mathematics
Authors
Fernando L. Pelayo, Maria L. Pelayo, Juan L.G. Guirao,