Rate lifting for stochastic process algebra -- exploiting structural properties (Q6103028)
From MaRDI portal
scientific article; zbMATH DE number 7691350
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rate lifting for stochastic process algebra -- exploiting structural properties |
scientific article; zbMATH DE number 7691350 |
Statements
Rate lifting for stochastic process algebra -- exploiting structural properties (English)
0 references
2 June 2023
0 references
stochastic process algebra
0 references
structural properties
0 references
Markov chain
0 references
model repair
0 references
rate lifting
0 references
0 references
