Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler

  title={Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler},
  author={Jeremy T. Bradley and Nicholas J. Dingle and Stephen Gilmore and William J. Knottenbelt},
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian process algebra for expressing compositional performance models. We introduce ipc, a tool which can process PEPA-specified passage-time densities and models, by compiling the PEPA model and passage specification into the DNAmaca formalism. DNAmaca is an established modelling language for the low level specification of… CONTINUE READING
Highly Cited
This paper has 100 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 54 extracted citations

101 Citations

Citations per Year
Semantic Scholar estimates that this publication has 101 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 29 references

Generalised Markovian analysis of timed transitions systems

  • W. J. Knottenbelt
  • MSc thesis,
  • 1996
Highly Influential
4 Excerpts

HY- DRA: HYpergraph-based Distributed Response-time Analyser

  • N. J. Dingle, W. J. Knottenbelt, P. G. Harrison
  • InProceedings of the 2003 International…
  • 2003
2 Excerpts

editor. Haskell 98 Language and Libraries: The Revised Report

  • S. P. Jones
  • 2003
1 Excerpt

formization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models

  • W. J. Knottenbelt, P. G. Harrison
  • Submitted to the Journal of Parallel and…
  • 2002

Similar Papers

Loading similar papers…