Performance Evaluation Process Algebra ( PEPA ) is a stochastic process algebra designed for modelling computer and communication systems introduced by Jane Hillston in the 1990s. The language extends classical process algebras such as Milner 's CCS and Hoare 's CSP by introducing probabilistic branching and timing of transitions.
12-535: [REDACTED] Look up pepa or Pepa in Wiktionary, the free dictionary. Pepa may refer to: Pepa, Democratic Republic of the Congo , a village Pepa Airport , an airstrip PEPA or Performance Evaluation Process Algebra, a stochastic process algebra PEPA (drug) , an ampakine drug that is a potential nootropic Pepa (musical instrument) ,
24-407: A competition between two possible alternatives: in the process ( a , r ). P + ( b , s ). Q either a wins the race (and the process subsequently behaves as P ) or b wins the race (and the process subsequently behaves as Q ). The co-operation operator requires the two "co-operands" to join for those activities which are specified in the co-operation set: in the process P < a , b > Q
36-495: A flute-like musical instrument from Assam La Pepa or the Spanish Constitution of 1812 People with the nickname [ edit ] Pepa (footballer) (born 1980), Portuguese footballer Pepa (rapper) , Jamaican-American rap & hip-hop artist, member of Salt-N-Pepa Pepa Fernández (born 1965), Spanish journalist Pepa Rus (born 1985), Spanish actress, humorist, and singer People with
48-549: A stochastic process algebra PEPA (drug) , an ampakine drug that is a potential nootropic Pepa (musical instrument) , a flute-like musical instrument from Assam La Pepa or the Spanish Constitution of 1812 People with the nickname [ edit ] Pepa (footballer) (born 1980), Portuguese footballer Pepa (rapper) , Jamaican-American rap & hip-hop artist, member of Salt-N-Pepa Pepa Fernández (born 1965), Spanish journalist Pepa Rus (born 1985), Spanish actress, humorist, and singer People with
60-413: Is different from Wikidata All article disambiguation pages All disambiguation pages pepa [REDACTED] Look up pepa or Pepa in Wiktionary, the free dictionary. Pepa may refer to: Pepa, Democratic Republic of the Congo , a village Pepa Airport , an airstrip PEPA or Performance Evaluation Process Algebra,
72-545: Is different from Wikidata All article disambiguation pages All disambiguation pages PEPA Rates are drawn from the exponential distribution and PEPA models are finite-state and so give rise to a stochastic process , specifically a continuous-time Markov process (CTMC). Thus the language can be used to study quantitative properties of models of computer and communication systems such as throughput , utilisation and response time as well as qualitative properties such as freedom from deadlock . The language
84-435: Is formally defined using a structured operational semantics in the style invented by Gordon Plotkin . As with most process algebras, PEPA is a parsimonious language. It has only four combinators, prefix , choice , co-operation and hiding . Prefix is the basic building block of a sequential component: the process ( a , r ). P performs activity a at rate r before evolving to behave as component P . Choice sets up
96-419: The processes P and Q must co-operate on activities a and b , but any other activities may be performed independently. The reversed compound agent theorem gives a set of sufficient conditions for a co-operation to have a product form stationary distribution . Finally, the process P /{ a } hides the activity a from view (and prevents other processes from joining with it). Given a set of action names,
108-401: The surname [ edit ] Avni Pepa (born 1988), Kosovar footballer Brunild Pepa (born 1990), Albanian footballer Fictional characters [ edit ] Pepa Madrigal from Encanto See also [ edit ] Joseph (name) Pepe (disambiguation) Topics referred to by the same term [REDACTED] This disambiguation page lists articles associated with
120-401: The surname [ edit ] Avni Pepa (born 1988), Kosovar footballer Brunild Pepa (born 1990), Albanian footballer Fictional characters [ edit ] Pepa Madrigal from Encanto See also [ edit ] Joseph (name) Pepe (disambiguation) Topics referred to by the same term [REDACTED] This disambiguation page lists articles associated with
132-416: The title Pepa . If an internal link led you here, you may wish to change the link to point directly to the intended article. Retrieved from " https://en.wikipedia.org/w/index.php?title=Pepa&oldid=1220093790 " Categories : Disambiguation pages Disambiguation pages with surname-holder lists Hidden categories: Articles containing Spanish-language text Short description
SECTION 10
#1732782309380144-416: The title Pepa . If an internal link led you here, you may wish to change the link to point directly to the intended article. Retrieved from " https://en.wikipedia.org/w/index.php?title=Pepa&oldid=1220093790 " Categories : Disambiguation pages Disambiguation pages with surname-holder lists Hidden categories: Articles containing Spanish-language text Short description
#379620