A Compositional Approach to Generalised semi-Markov Processes

Research output: Contribution to conferencePaperAcademicpeer-review

Abstract

This paper presents a compositional approach to the sepcification and anslysis of stochastic discrete-event systems. We present a process algebra that allows one to specify generaliseed semi-Markov processes (GSMPs) in a compositional way. The semantics of this process algebra is given in terms of stochastic automata, an extension of automata with clocks that are basically random variables of continuous or discrete nature. We show that GSMPs are a proper subset of stochastic automata and provide some example laws that are useful for the verification of such models.
Original languageUndefined
Pages391-397
Number of pages7
Publication statusPublished - 1998

Keywords

  • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
  • EWI-6466
  • FMT-PA: PROCESS ALGEBRAS
  • IR-63291

Cite this

@conference{b494160e251546c2bd510aa10b3aadb6,
title = "A Compositional Approach to Generalised semi-Markov Processes",
abstract = "This paper presents a compositional approach to the sepcification and anslysis of stochastic discrete-event systems. We present a process algebra that allows one to specify generaliseed semi-Markov processes (GSMPs) in a compositional way. The semantics of this process algebra is given in terms of stochastic automata, an extension of automata with clocks that are basically random variables of continuous or discrete nature. We show that GSMPs are a proper subset of stochastic automata and provide some example laws that are useful for the verification of such models.",
keywords = "FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, EWI-6466, FMT-PA: PROCESS ALGEBRAS, IR-63291",
author = "{d' Argenio}, P.R. and Katoen, {Joost P.} and Hendrik Brinksma",
year = "1998",
language = "Undefined",
pages = "391--397",

}

A Compositional Approach to Generalised semi-Markov Processes. / d' Argenio, P.R.; Katoen, Joost P.; Brinksma, Hendrik.

1998. 391-397.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - A Compositional Approach to Generalised semi-Markov Processes

AU - d' Argenio, P.R.

AU - Katoen, Joost P.

AU - Brinksma, Hendrik

PY - 1998

Y1 - 1998

N2 - This paper presents a compositional approach to the sepcification and anslysis of stochastic discrete-event systems. We present a process algebra that allows one to specify generaliseed semi-Markov processes (GSMPs) in a compositional way. The semantics of this process algebra is given in terms of stochastic automata, an extension of automata with clocks that are basically random variables of continuous or discrete nature. We show that GSMPs are a proper subset of stochastic automata and provide some example laws that are useful for the verification of such models.

AB - This paper presents a compositional approach to the sepcification and anslysis of stochastic discrete-event systems. We present a process algebra that allows one to specify generaliseed semi-Markov processes (GSMPs) in a compositional way. The semantics of this process algebra is given in terms of stochastic automata, an extension of automata with clocks that are basically random variables of continuous or discrete nature. We show that GSMPs are a proper subset of stochastic automata and provide some example laws that are useful for the verification of such models.

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

KW - EWI-6466

KW - FMT-PA: PROCESS ALGEBRAS

KW - IR-63291

M3 - Paper

SP - 391

EP - 397

ER -