# An Algebra-Based Method to Associate Rewards with EMPA Terms

@inproceedings{Bernardo1997AnAM, title={An Algebra-Based Method to Associate Rewards with EMPA Terms}, author={Marco Bernardo}, booktitle={ICALP}, year={1997} }

We present a simple method to associate rewards with terms of the stochastic process algebra EMPA in order to make the specification and the computation of performance measures easier. The basic idea behind this method is to specify rewards within actions of EMPA terms, so it substantially differs from methods based on modal logic. The main motivations of this method are its ease of use as well as the possibility of defining a notion of equivalence which relates terms having the same reward…

## 38 Citations

### Exploiting Modal Logic to Express Performance Measures

- Computer ScienceComputer Performance Evaluation / TOOLS
- 2000

This paper presents a stochastic modal logic which can aid the construction of a reward structure over the model of PEPA and presents a performance specification language which supports high level reasoning about PEPA models, and allows queries about their equilibrium behaviour.

### Performance measure sensitive congruences for Markovian process algebras

- Computer Science, MathematicsTheor. Comput. Sci.
- 2003

### Compositional solution of stochastic process algebra models

- Computer Science, Mathematics
- 2002

This dissertation is about the solution of Markovian stochastic process algebra (SPA) models and the avoidance of the state-space explosion problem, and considers a true-concurrency semantics for SPA models and investigates its use for an efficient solution of Spa models.

### GSMPA : A Core Calculus With Generally Distributed Durations 1

- Computer Science
- 1998

A process algebra for the performance modeling and evaluation of concurrent systems whose activity durations are expressed through general probability distributions and it is argued that in this context the right semantics for algebraic terms is a variant of the ST semantics which accounts for both functional and performance aspects.

### Specifying Performance Measures for PEPA

- Computer ScienceARTS
- 1999

A performance specification language which supports high level reasoning about PEPA models, allowing the description of equilibrium (steady-state) measures and the meaning of the specification language can be made formal by examining its foundations in a stochastic modal logic.

### Enriching EMPA with Value Passing : A Symbolic Approach based on LookaheadMarco BernardoUniversit

- Computer Science
- 2007

The proposal of Hennessy and Lin relying on symbolic labeled transition systems and symbolic bisimulations is adapted to EMPA by providing suitable semantic rules based on lookahead in order to beneet as much as possible from the inherent parametricity of value passing.

### Explorer Specifying Performance Measures for PEPA

- Computer Science
- 2018

A performance specification language which supports high level reasoning about PEPA models, allowing the description of equilibrium (steady-state) measures and the meaning of the specification language can be made formal by examining its foundations in a stochastic modal logic.

### Compositional reasoning for weighted Markov decision processes

- Computer ScienceSci. Comput. Program.
- 2013

## References

SHOWING 1-10 OF 17 REFERENCES

### Extended Markovian Process Algebra

- Computer ScienceCONCUR
- 1996

This work derives a functional semantic model (a transition system labeled on action types only and a performance semantic model) and a Markov chain to analyze an EMPA term and shows that an integrated analysis is not only convenient but also necessary to achieve compositionality.

### A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time

- Computer ScienceTheor. Comput. Sci.
- 1998

### Specification Styles in Distributed Systems Design and Verification

- Computer ScienceTheor. Comput. Sci.
- 1991

### Queueing Systems

- Business
- 1998

▶ Publishes research on theoretical problems in resource sharing dynamics (in a broad sense), with particular interests in probability and statistics ▶ Publishes rigorous applied probability…

### A compositional approach to performance modelling

- Mathematics
- 1984

Modelling study: multi-server multi-queue systems shows strong equivalence between strong and weak isomorphism and strong bisimilarity.

### Algebraic laws for nondeterminism and concurrency

- Computer ScienceJACM
- 1985

The paper demonstrates, for a sequence of simple languages expressing finite behaviors, that in each case observation congruence can be axiomatized algebraically and the algebraic language described here becomes a calculus for writing and specifying concurrent programs and for proving their properties.

### Formalising the Speci cation of Rewards with PEPA", in Proc. of the 4th Workshop on Process Algebras and Performance Modelling (PAPM '96), CLUT

- Torino (Italy),
- 1996

### \Formalising the Speciication of Rewards with PEPA

- Proc. of the 4th Workshop on Process Algebras and Performance Modelling (PAPM '96), CLUT
- 1996