Probabilistic weak bisimulation and axiomatization for probabilistic models (Q6161460)
From MaRDI portal
scientific article; zbMATH DE number 7691958
Language | Label | Description | Also known as |
---|---|---|---|
English | Probabilistic weak bisimulation and axiomatization for probabilistic models |
scientific article; zbMATH DE number 7691958 |
Statements
Probabilistic weak bisimulation and axiomatization for probabilistic models (English)
0 references
5 June 2023
0 references
formal semantics
0 references
probabilistic process
0 references
weak bisimulation
0 references
axiomatization
0 references
0 references