Towards Performance Evaluation with General Distributions in Process Algebras

@inproceedings{Bravetti1998TowardsPE,
  title={Towards Performance Evaluation with General Distributions in Process Algebras},
  author={Mario Bravetti and Marco Bernardo and Roberto Gorrieri},
  booktitle={CONCUR},
  year={1998}
}
We present a process algebra for the performance modeling and evaluation of concurrent systems whose activity durations are expressed through general probability distributions. We first determine the class of generalized semi-Markov processes (GSMPs) as being the class of stochastic processes on which we must rely for performance evaluation to be possible. Then we argue that in this context the right semantics for algebraic terms is a variant of the ST semantics which accounts for both… CONTINUE READING
47 Citations
22 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 47 extracted citations

Similar Papers

Loading similar papers…