ipc
From MaRDI portal
Software:23722
swMATH11783MaRDI QIDQ23722FDOQ23722
Author name not available (Why is that?)
Cited In (8)
- 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
- State-Aware Performance Analysis with eXtended Stochastic Probes
- Improved Continuous Approximation of PEPA Models through Epidemiological Examples
- 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
