A Stochastic Automata Model and its Algebraic Approach

P.R. d' Argenio; Joost P. Katoen; Hendrik Brinksma

A Stochastic Automata Model and its Algebraic Approach

P.R. d' Argenio, Joost P. Katoen, Hendrik Brinksma

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

48 Downloads (Pure)

Original language	Undefined
Title of host publication	5th International Workshop on Process Algebra and Performance Modeling (PAPM'97)
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Pages	1-16
Number of pages	16
Publication status	Published - 1997
Event	5th International Workshop on Process Algebra and Performance Modeling, PAPM 1997 - University of Twente, Enschede, Netherlands Duration: 26 Jun 1997 → 27 Jun 1997 Conference number: 5

Publication series

Name	CTIT Technical Report Series
Number	97-14
ISSN (Print)	1381-3625

Workshop

Workshop	5th International Workshop on Process Algebra and Performance Modeling, PAPM 1997
Abbreviated title	PAPM 1997
Country/Territory	Netherlands
City	Enschede
Period	26/06/97 → 27/06/97

Keywords

IR-63289
METIS-120063
FMT-PA: PROCESS ALGEBRAS
FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
EWI-6464

Access to Document

Cite this

@inproceedings{2316bdd2677243889ad62d992eacfa7b,

title = "A Stochastic Automata Model and its Algebraic Approach",

keywords = "IR-63289, METIS-120063, FMT-PA: PROCESS ALGEBRAS, FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS, EWI-6464",

author = "{d' Argenio}, P.R. and Katoen, {Joost P.} and Hendrik Brinksma",

year = "1997",

language = "Undefined",

series = "CTIT Technical Report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "97-14",

pages = "1--16",

booktitle = "5th International Workshop on Process Algebra and Performance Modeling (PAPM'97)",

address = "Netherlands",

note = "null ; Conference date: 26-06-1997 Through 27-06-1997",

}

d' Argenio, PR, Katoen, JP & Brinksma, H 1997, A Stochastic Automata Model and its Algebraic Approach. in 5th International Workshop on Process Algebra and Performance Modeling (PAPM'97). CTIT Technical Report Series, no. 97-14, Centre for Telematics and Information Technology (CTIT), Enschede, pp. 1-16, 5th International Workshop on Process Algebra and Performance Modeling, PAPM 1997, Enschede, Netherlands, 26/06/97.

A Stochastic Automata Model and its Algebraic Approach. / d' Argenio, P.R.; Katoen, Joost P.; Brinksma, Hendrik.

5th International Workshop on Process Algebra and Performance Modeling (PAPM'97). Enschede : Centre for Telematics and Information Technology (CTIT), 1997. p. 1-16 (CTIT Technical Report Series; No. 97-14).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A Stochastic Automata Model and its Algebraic Approach

AU - d' Argenio, P.R.

AU - Katoen, Joost P.

AU - Brinksma, Hendrik

N1 - Conference code: 5

PY - 1997

Y1 - 1997

KW - IR-63289

KW - METIS-120063

KW - FMT-PA: PROCESS ALGEBRAS

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

KW - EWI-6464

M3 - Conference contribution

T3 - CTIT Technical Report Series

SP - 1

EP - 16

BT - 5th International Workshop on Process Algebra and Performance Modeling (PAPM'97)

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

Y2 - 26 June 1997 through 27 June 1997

ER -