swMATH11783MaRDI QIDQ23722FDOQ23722
Author name not available (Why is that?)
Official website: http://www.doc.ic.ac.uk/ipc/
Cited In (10)
- 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
- 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
