GSMPA : A Core Calculus With Generally Distributed Durations 1

  title={GSMPA : A Core Calculus With Generally Distributed Durations 1},
  author={Mario Bravetti and Marco Bernardo and Roberto Gorrieri},
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


Publications citing this paper.
Showing 1-2 of 2 extracted citations

Similar Papers

Loading similar papers…