EPEW
2007
Springer
13 years 9 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...