PEPA

PEPA: Performance Evaluation Process Algebra. PEPA tools: The PEPA process algebra is supported by the PEPA Eclipse Plug-in project, a contribution to the Eclipse integrated development environment. The PEPA Eclipse Plug-in contains a PEPA editor and performance analysers which use Markov chain or ODE methods or simulation. Performance results are displayed graphically on the platform itself. It also contains an interface for abstracting PEPA models, and for model checking properties in the Continuous Stochastic Logic (CSL). Download the PEPA Eclipse Plug-in from the download site.


References in zbMATH (referenced in 116 articles )

Showing results 61 to 80 of 116.
Sorted by year (citations)
  1. Bracciali, Andrea; Brunelli, Marcello; Cataldo, Enrico; Degano, Pierpaolo: Synapses as stochastic concurrent systems (2008)
  2. Bradley, Jeremy T.; Gilmore, Stephen T.; Hillston, Jane: Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models (2008)
  3. Ciocchetta, Federica; Hillston, Jane: Bio-PEPA: an extension of the process algebra PEPA for biochemical networks (2008)
  4. Credi, A.; Garavelli, M.; Laneve, C.; Pradalier, S.; Silvi, S.; Zavattaro, G.: nano(\kappa): A calculus for the modeling and simulation of nano devices (2008)
  5. Eisentraut, Christian; Hermanns, Holger: Teaching concurrency concepts to freshmen (2008)
  6. Galpin, Vashti; Hillston, Jane; Bortolussi, Luca: HYPE applied to the modelling of hybrid biological systems (2008)
  7. Geisweiller, Nil; Hillston, Jane; Stenico, Marco: Relating continuous and discrete PEPA models of signalling pathways (2008)
  8. Heath, John; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Tymchyshyn, Oksana: Probabilistic model checking of complex biological pathways (2008)
  9. Ledoux, James; White, Langford B.; Brushe, Gary D.: On the relationships between lumpability and filtering of finite stochastic systems (2008)
  10. Pilegaard, Henrik; Nielson, Flemming; Nielson, Hanne Riis: Pathway analysis for BioAmbients (2008)
  11. van Bakel, S.; Khan, I.; Vigliotti, M. G.; Heath, J. K.: Modelling intracellular fate of FGF receptors with BioAmbients (2008)
  12. Aldini, Alessandro; Bernardo, Marco: Mixing logics and rewards for the component-oriented specification of performance measures (2007)
  13. Argent-Katwala, Ashok; Bradley, Jeremy T.: PEPA queues: capturing customer behaviour in queueing networks (2007)
  14. Bortolussi, Luca; Policriti, Alberto: Stochastic concurrent constraint programming and differential equations (2007)
  15. Clark, Allan; Gilmore, Stephen; Hillston, Jane; Tribastone, Mirco: Stochastic process algebras (2007)
  16. Hillston, Jane; Kloul, Leïla: Formal techniques for performance analysis: blending SAN and PEPA (2007)
  17. Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena: Three-valued abstraction for continuous-time Markov chains (2007)
  18. Knottenbelt, William J.; Bradley, Jeremy T.: Tackling large state spaces in performance modelling (2007)
  19. Wolf, Verena: Modelling of biochemical reactions by stochastic automata networks (2007)
  20. Yaikhom, Gagarine; Cole, Murray; Gilmore, Stephen; Hillston, Jane: A structural approach for modelling performance of systems using skeletons (2007)

Further publications can be found at: http://www.dcs.ed.ac.uk/pepa/papers/