38 search results - page 1 / 8 » A fluid analysis framework for a Markovian process algebra |
TCS
2010
13 years 15 days ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
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...
ENTCS
2006
13 years 5 months ago
2006
A generalization of the Reversed Compound Agent Theorem of Markovian process algebra is derived that yields separable, but non-product-form solutions for collections of interactin...
FOSSACS
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
QEST
2007
IEEE
14 years 1 days ago
2007
IEEE
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...