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