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 41 to 60 of 116.
Sorted by year (citations)
  1. Degasperi, Andrea; Calder, Muffy: Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration (2010)
  2. Degasperi, Andrea; Calder, Muffy: Process algebra with hooks for models of pattern formation (2010)
  3. Hayden, Richard A.; Bradley, Jeremy T.: A fluid analysis framework for a Markovian process algebra (2010)
  4. Heckel, Reiko; Torrini, Paolo: Stochastic modelling and simulation of mobile systems (2010) ioport
  5. Hermanns, Holger; Katoen, Joost-Pieter: The how and why of interactive Markov chains (2010)
  6. Pedersen, Michael; Plotkin, Gordon D.: A language for biochemical systems: design and formal specification (2010)
  7. Romanel, Alessandro; Priami, Corrado: On the computational power of BlenX (2010)
  8. Basuki, Thomas Anung; Cerone, Antonio; Milazzo, Paolo: Translating stochastic CLS into Maude (2009)
  9. Benkirane, Soufiene; Hillston, Jane; Mccaig, Chris; Norman, Rachel; Shankland, Carron: Improved continuous approximation of PEPA models through epidemiological examples (2009)
  10. Bortolussi, Luca; Policriti, Alberto: The importance of being (a little bit) discrete (2009)
  11. Calder, Muffy; Hillston, Jane: Process algebra modelling styles for biomolecular processes (2009)
  12. Ciocchetta, Federica: Bio-PEPA with events (2009)
  13. Ciocchetta, Federica; Degasperi, Andrea; Hillston, Jane; Calder, Muffy: Some investigations concerning the CTMC and the ODE model derived from bio-PEPA (2009)
  14. Ciocchetta, Federica; Hillston, Jane: Bio-PEPA: A framework for the modelling and analysis of biological systems (2009)
  15. Galpin, Vashti; Bortolussi, Luca; Hillston, Jane: HYPE: a process algebra for compositional flows and emergent behaviour (2009)
  16. Katoen, Joost-Pieter; Klink, Daniel; Neuhäußer, Martin R.: Compositional abstraction for stochastic systems (2009)
  17. Michel, Olivier; Spicher, Antoine; Giavitto, Jean-Louis: Rule-based programming for integrative biological modeling. Application to the modeling of the (\lambda) phage genetic switch (2009)
  18. Ruiz, M. Carmen; Cazorla, Diego; Cuartero, Fernando; Macia, Hermenegilda: Improving performance in flexible manufacturing systems (2009)
  19. Benoit, Anne; Robert, Yves: Mapping pipeline skeletons onto heterogeneous platforms (2008)
  20. Bortolussi, Luca: On the approximation of stochastic concurrent constraint programming by master equation (2008)

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