Cited in
(11)- Improved continuous approximation of PEPA models through epidemiological examples
- Functional Performance Specification with Stochastic Probes
- Fluid computation of passage-time distributions in large Markov models
- A fluid analysis framework for a Markovian process algebra
- Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
- SPADES
- PEPA
- SSF.App.Worm
- State-Aware Performance Analysis with eXtended Stochastic Probes
- Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
- PEPA queues: capturing customer behaviour in queueing networks
This page was built for software: ipc
