An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

P.R. d' Argenio, D. Gries (Editor), W.P. de Roever (Editor), Joost P. Katoen, Hendrik Brinksma

Research output: Contribution to conferencePaperAcademicpeer-review

Original languageUndefined
Pages126-147
Number of pages22
Publication statusPublished - Jun 1998

Keywords

  • FMT-PA: PROCESS ALGEBRAS
  • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
  • IR-63290
  • EWI-6465

Cite this

d' Argenio, P. R., Gries, D. (Ed.), de Roever, W. P. (Ed.), Katoen, J. P., & Brinksma, H. (1998). An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract). 126-147.
@conference{7c05ff41802642108a4dc14378c23efe,
title = "An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)",
keywords = "FMT-PA: PROCESS ALGEBRAS, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, IR-63290, EWI-6465",
author = "{d' Argenio}, P.R. and D. Gries and {de Roever}, W.P. and Katoen, {Joost P.} and Hendrik Brinksma",
year = "1998",
month = "6",
language = "Undefined",
pages = "126--147",

}

An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract). / d' Argenio, P.R.; Gries, D. (Editor); de Roever, W.P. (Editor); Katoen, Joost P.; Brinksma, Hendrik.

1998. 126-147.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

AU - d' Argenio, P.R.

AU - Katoen, Joost P.

AU - Brinksma, Hendrik

A2 - Gries, D.

A2 - de Roever, W.P.

PY - 1998/6

Y1 - 1998/6

KW - FMT-PA: PROCESS ALGEBRAS

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

KW - IR-63290

KW - EWI-6465

M3 - Paper

SP - 126

EP - 147

ER -