Probabilistic Extensions of Process Algebras

Probabilistic Extensions of Process Algebras (2001)

Cached

Download Links

[www.docs.uu.se]

by Bengt Jonsson , Kim G. Larsen , Wang Yi

Venue:	Handbook of Process Algebra
Citations:	54 - 1 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Probabilistic Extensions of Process Algebras	user correction - Legacy Corrections
AUTHOR NAME	Bengt Jonsson	user correction - Legacy Corrections
AUTHOR AFFIL	1	user correction - Legacy Corrections
AUTHOR NAME	Kim G. Larsen	user correction - Legacy Corrections
AUTHOR AFFIL	2	user correction - Legacy Corrections
AUTHOR NAME	Wang Yi	user correction - Legacy Corrections
AUTHOR AFFIL	; 1; 1; Department of Computer Systems, Uppsala University; 2; Department of Computer Science, Aalborg University	user correction - Legacy Corrections
AUTHOR ADDR	; Sweden, E-mail:; Denmark, E-mail:	user correction - Legacy Corrections
ABSTRACT	INTRODUCTION Classic process, algebras such as CCS, CSP and ACP, are well-established techniques for modelling and reasoning about functional aspects of concurrent processes. The motivation for studying probabilistic extensions of process algebras is to develop techniques dealing with non-functional aspects of process behavior, such as performance and reliability. We may want to investigate, e.g., the average response time of a system, or the ? This chapter is dedicated to the fond memory of Linda Christoff. probability that a certain failure occurs. An analysis of these and similar properties requires that some form of information about the stochastic distribution over the occurrence of relevant events is put into the model. For instance, performance evaluation is often based on modeling a system as a continuous-time Markov process, in which distributions over delays between actions and over the choice between different actions are specified. Similar	user correction - Legacy Corrections
YEAR	2001	INFERENCE
VENUE	Handbook of Process Algebra	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	685--710	INFERENCE
CITATIONS	10 found	ParsCit 1.0