2 search results - page 1 / 1 » Evaluating fluid semantics for passive stochastic process al... |
PE
2010
Springer
13 years 3 days ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
EPEW
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...