Compositionality for Markov Reward Chains with Fast Transitions

DOI10.1007/978-3-540-75211-0_3MaRDI QIDQ3522086zbMATH OpenOpenAlexFDO

Authors J. Markovski, Ana Sokolova, Nikola Trčka, Erik de Vink

Publication date 28 August 2008

Published in Formal Methods and Stochastic Models for Performance Evaluation (Search for Journal in Brave)

Full work available at URL https://research.tue.nl/nl/publications/eeaaffb5-b578-49e3-a856-8f63d6987980

zbMATH Keywords

reductioncompositionalitylumpabilityparallel compositionKronecker product and sumdiscontinuous Markov reward chainsMarkov reward chains with fast transitions

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
• scientific article; zbMATH DE number 1884417
• scientific article; zbMATH DE number 1397300
• Concurrency and composition in a stochastic world
• Performance evaluation with temporal rewards

Cited in

(2)

• scientific article; zbMATH DE number 1884417 (Why is no real title available?)
• Performance evaluation in stochastic process algebra dtsdPBC

This page was built for publication: Compositionality for Markov Reward Chains with Fast Transitions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522086)