MASCOTS
2003
14 years 1 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
EPEW
2006
Springer
14 years 4 months ago
2006
Springer
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...