A stochastic causality-based process algebra

Research output: Contribution to journalArticleAcademicpeer-review

32 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
Article number10.1093/comjnl/38.7.552
Pages (from-to)552-565
Number of pages14
JournalComputer journal
Volume38
Issue number7
DOIs
Publication statusPublished - 1995

Fingerprint

Algebra
Distribution functions
Semantics

Keywords

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

Cite this

@article{72bfee09a2614252a4843577aa58b516,
title = "A stochastic causality-based process algebra",
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.",
keywords = "FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, FMT-NIM: NON-INTERLEAVING MODELS, IR-66256, EWI-6387, FMT-PA: PROCESS ALGEBRAS",
author = "Hendrik Brinksma and Katoen, {Joost P.} and Romanus Langerak and Diego Latella",
year = "1995",
doi = "10.1093/comjnl/38.7.552",
language = "English",
volume = "38",
pages = "552--565",
journal = "Computer journal",
issn = "0010-4620",
publisher = "Oxford University Press",
number = "7",

}

A stochastic causality-based process algebra. / Brinksma, Hendrik; Katoen, Joost P.; Langerak, Romanus; Latella, Diego.

In: Computer journal, Vol. 38, No. 7, 10.1093/comjnl/38.7.552, 1995, p. 552-565.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - A stochastic causality-based process algebra

AU - Brinksma, Hendrik

AU - Katoen, Joost P.

AU - Langerak, Romanus

AU - Latella, Diego

PY - 1995

Y1 - 1995

N2 - 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.

AB - 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.

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

KW - FMT-NIM: NON-INTERLEAVING MODELS

KW - IR-66256

KW - EWI-6387

KW - FMT-PA: PROCESS ALGEBRAS

U2 - 10.1093/comjnl/38.7.552

DO - 10.1093/comjnl/38.7.552

M3 - Article

VL - 38

SP - 552

EP - 565

JO - Computer journal

JF - Computer journal

SN - 0010-4620

IS - 7

M1 - 10.1093/comjnl/38.7.552

ER -