An algebra-based method to associate rewards with EMPA terms
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A Compositional Approach to Performance ModellingPublished by Cambridge University Press (CUP) ,1996
- Extended Markovian Process AlgebraPublished by Springer Nature ,1996
- Specification styles in distributed systems design and verificationTheoretical Computer Science, 1991
- Bisimulation through probabilistic testingInformation and Computation, 1991
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985