A STOCHASTIC CAUSALITY-BASED PROCESS ALGEBRA

This paper discusses stochastic extensions of a simple process algebra in a causality-based setting. Atomic actions are supposed to happen a fter a delay that is determined by a stochastic variable with a certai n distribution, A simple stochastic type of event structures is discus sed, restricting the distribution functions to be exponential. A corre sponding operational semantics of this model is given and compared to existing (interleaved) approaches. Secondly, a stochastic variant of e vent structures is discussed where distributions are of a much more ge neral nature, viz. of phase-type. This includes exponential, Erlang, C oxian and mixtures of exponential distributions.