A stochastic causality-based process algebra

    Research output: Contribution to journalArticleAcademicpeer-review

    45 Downloads (Pure)

    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
    JournalComputer journal
    Volume38
    Issue number7
    DOIs
    Publication statusPublished - 1995

      Fingerprint

    Keywords

    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
    • FMT-NIM: NON-INTERLEAVING MODELS
    • FMT-PA: PROCESS ALGEBRAS

    Cite this