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 1 to 20 of 116.
Sorted by year (citations)

1 2 3 4 5 6 next

  1. Fahrenberg, Uli; Legay, Axel; Quaas, Karin: Computing branching distances with quantitative games (2020)
  2. Kapus, Tatjana: Specifying reversibility with (\mathrmTLA^+) (2020)
  3. Wright, Thomas; Stark, Ian: Modelling patterns of gene regulation in the bond-calculus (2020)
  4. Toro, Mauricio: A general overview of formal languages for individual-based modelling of ecosystems (2019)
  5. Jing, Yaping; Miner, Andrew S.: Computation tree measurement language (CTML) (2018)
  6. Tarasyuk, Igor’ Valer’evich; Macià Soler, Hermenegilda; Valero Ruiz, Valentín: Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (2018)
  7. Marin, A.; Rossi, S.: On the relations between Markov chain lumpability and reversibility (2017)
  8. Balsamo, Simonetta; Dei Rossi, Gian-Luca; Marin, Andrea: Lumping and reversed processes in cooperating automata (2016)
  9. Colvin, Robert J.: Modelling and analysing neural networks using a hybrid process algebra (2016)
  10. Ding, Jie; Zhu, Xinshan; Wang, Minyi: Fluid analysis for a PEPA model (2016)
  11. Gilmore, Stephen; Hillston, Jane; Zoń, Natalia: Abstract interpretation of PEPA models (2016)
  12. Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea: Component identification in biochemical pathways (2015)
  13. Tschaikowski, Max; Tribastone, Mirco: Tackling continuous state-space explosion in a Markovian process algebra (2014)
  14. Tschaikowski, Max; Tribastone, Mirco: Exact fluid lumpability in Markovian process algebra (2014)
  15. Bernardo, Marco; De Nicola, Rocco; Loreti, Michele: A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (2013)
  16. Degasperi, A.; Calder, M.: A process algebra framework for multi-scale modelling of biological systems (2013)
  17. Georgoulas, Anastasis; Guerriero, Maria Luisa: A software interface between the narrative language and Bio-PEPA (2013) ioport
  18. McCaig, Chris; Fenton, Andy; Graham, Andrea; Shankland, Carron; Norman, Rachel: Using process algebra to develop predator-prey models of within-host parasite dynamics (2013)
  19. Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea: An algorithm for the identification of components in biochemical pathways (2013)
  20. Phillips, Iain; Ulidowski, Irek; Yuen, Shoji: A reversible process calculus and the modelling of the ERK signalling pathway (2013)

1 2 3 4 5 6 next


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