114 search results - page 1 / 23 » Integrated Analysis from Abstract Stochastic Process Algebra... |
CMSB
2008
Springer
13 years 6 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
LICS
2005
IEEE
13 years 10 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
WOSP
2000
ACM
13 years 9 months ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
TCS
2010
12 years 11 months 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...