An algebra-based method to associate rewards with EMPA terms
From MaRDI portal
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Recommendations
Cites work
- A Compositional Approach to Performance Modelling
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Algebraic laws for nondeterminism and concurrency
- Bisimulation through probabilistic testing
- Extended Markovian Process Algebra
- scientific article; zbMATH DE number 3522951 (Why is no real title available?)
- scientific article; zbMATH DE number 3361677 (Why is no real title available?)
- Specification styles in distributed systems design and verification
Cited in
(5)- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
- Performance measure sensitive congruences for Markovian process algebras
- scientific article; zbMATH DE number 1884417 (Why is no real title available?)
- Process algebra for performance evaluation
- Equivalence checking 40 years after: a review of bisimulation tools
This page was built for publication: An algebra-based method to associate rewards with EMPA terms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4571967)
