431 search results - page 2 / 87 » Visual representation of stochastic process algebra models |
CMSB
2008
Springer
13 years 7 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
IPPS
2006
IEEE
13 years 12 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...
JCSS
2008
13 years 6 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
DAGSTUHL
2006
13 years 7 months ago
2006
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques fro...
LICS
2005
IEEE
13 years 11 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...