A stochastic causality-based process algebra
Brinksma E., Katoen J. P., Langerak R., Latella D.
FMT-PA: PROCESS ALGEBRAS FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS Formal Methods General Computer Science FMT-NIM: NON-INTERLEAVING MODELS
This paper discusses stochastic extensions of a simple process algebra in a causality-based setting. Atomic actions are supposed to happen after a delay that is determined by a stochastic variable with a certain distribution. A simple stochastic type of event structures is discussed, restricting the distribution functions to be exponential. A corresponding operational semantics of this model is given and compared to existing (interleaved) approaches. Secondly, a stochastic variant of event structures is discussed where distributions are of a much more general nature, viz. of phase-type. This includes exponential, Erlang, Coxian and mixtures of exponential distributions.
Source: THE COMPUTER JOURNAL 38 (1995): 552–565. doi:10.1093/comjnl/38.7.552
Publisher: , Regno Unito
Metrics
Back to previous page
@article{oai:it.cnr:prodotti:190056,
title = {A stochastic causality-based process algebra},
author = {Brinksma E. and Katoen J. P. and Langerak R. and Latella D.},
publisher = {, Regno Unito},
doi = {10.1093/comjnl/38.7.552},
journal = {THE COMPUTER JOURNAL},
volume = {38},
pages = {552–565},
year = {1995}
}
0000-0002-3257-9059DOIAlso available from
The Computer Journal
The Computer Journal
NARCIS
academic.oup.com
NARCIS