Compositionality for Markov Reward Chains with Fast Transitions

DOI10.1007/978-3-540-75211-0_3zbMath1149.68320OpenAlexW2154185058MaRDI QIDQ3522086

Ana Sokolova, J. Markovski, E. P. de Vink, Nikola Trčka

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)

Related Items (1)

Performance evaluation in stochastic process algebra dtsdPBC

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