Mixing logics and rewards for the component-oriented specification of performance measures
DOI10.1016/J.TCS.2007.05.006zbMATH Open1159.68020OpenAlexW2170543783MaRDI QIDQ995461FDOQ995461
Alessandro Aldini, Marco Bernardo
Publication date: 3 September 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2007.05.006
Recommendations
continuous-time Markov chainsstochastic process algebracomponent oriented modelingmeasure specification languagereward structures
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interactive Markov chains. And the quest for quantified quality
- Performance measure sensitive congruences for Markovian process algebras
- Title not available (Why is that?)
- On the usability of process algebra: An architectural view
- On the solution of GSPN reward models
- Specification techniques for Markov reward models
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reward model solution methods with impulse and rate rewards: an algorithm and numerical results
- Model checking expected time and expected reward formulae with random time bounds
- Title not available (Why is that?)
Cited In (1)
Uses Software
This page was built for publication: Mixing logics and rewards for the component-oriented specification of performance measures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q995461)
