421 search results - page 1 / 85 » Abstract Interpretation of PEPA Models |
EPEW
2008
Springer
13 years 6 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...
MASCOTS
2003
13 years 6 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
ENTCS
2007
13 years 5 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
QEST
2010
IEEE
13 years 2 months ago
2010
IEEE
EPEW
2010
Springer
13 years 6 months ago
2010
Springer
