Skip to search formSkip to main contentSkip to account menu

PEPA

Performance Evaluation Process Algebra (PEPA) is a stochastic process algebra designed for modelling computer and communication systems introduced by… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
Calculus of communicating systemsDeadlockEclipseLayered queueing network

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Numerically Representing Stochastic Process Algebra Models
Stochastic process algebras combine a high-level system description in terms of interacting components, with a rigorous low-level… 
Highly Cited
2011
Highly Cited
2011
From UML to Petri Nets: The PCM-Based Methodology
In this paper, we present an evaluation methodology to validate the performance of a UML model, representing a software… 
2011
2011
Hybrid Limits of Continuous Time Markov Chains
  • L. Bortolussi
  • Eighth International Conference on Quantitative…
  • 2011
  • Corpus ID: 28620713
We consider the behaviour of sequences of Continuous Time Markov Chains (CTMC) based models of systems of interacting entities… 
2010
2010
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
2009
2009
Bio-PEPA with Events
In this work we present an extension of Bio-PEPA, a language recently defined for the modelling and analysis of biochemical… 
2006
2006
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
2005
2005
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Stochastic model checking is a recent extension of traditional model-checking techniques for the integrated analysis of both… 
2002
2002
Product form solution for an insensitive stochastic process algebra structure
2000
2000
Transforming PEPA Models to Obtain Product Form Bounds
This report presents a detailed study of some examples expressed in the PEPA formalism. It has previously been shown that some… 
1997
1997
Cuentos de la selva
Horacio Quiroga, cuentista, dramaturgo y poeta uruguayo-argentino, nacio en 1878 en Salto, ciudad uruguaya ubicada en la frontera… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)