EPEW
2007
Springer
14 years 3 months ago
2007
Springer
A parallel composition is defined for Markov reward chains with fast transitions and for discontinuous Markov reward chains. In this setting, compositionality with respect to the r...