A stochastic causality-based process algebra

E. Brinksma, J.P. Katoen, R. Langerak, D. Latella

Research output: Contribution to journalArticleAcademicpeer-review

Abstract

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.
Original languageEnglish
Pages (from-to)552-565
Number of pages14
JournalThe Computer Journal
Volume38
Issue number7
DOIs
Publication statusPublished - 1995

Fingerprint Dive into the research topics of 'A stochastic causality-based process algebra'. Together they form a unique fingerprint.

  • Cite this

    Brinksma, E., Katoen, J. P., Langerak, R., & Latella, D. (1995). A stochastic causality-based process algebra. The Computer Journal, 38(7), 552-565. https://doi.org/10.1093/comjnl/38.7.552