Stochastic Causality-Based Process Algebra

摘要

This paper discusses stochastic extensions of a simple process algebra in acausality-based setting. 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.