Compositionality for Markov Reward Chains with Fast Transitions (Q3522086)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Compositionality for Markov Reward Chains with Fast Transitions |
scientific article |
Statements
Compositionality for Markov Reward Chains with Fast Transitions (English)
0 references
28 August 2008
0 references
discontinuous Markov reward chains
0 references
Markov reward chains with fast transitions
0 references
parallel composition
0 references
compositionality
0 references
lumpability
0 references
reduction
0 references
Kronecker product and sum
0 references
