Logical characterization of bisimulation for transition relations over probability distributions with internal actions (Q4608588)
From MaRDI portal
scientific article; zbMATH DE number 6851862
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logical characterization of bisimulation for transition relations over probability distributions with internal actions |
scientific article; zbMATH DE number 6851862 |
Statements
21 March 2018
0 references
probabilistic transition systems
0 references
weak bisimulations
0 references
logical characterization
0 references
transition relation over distributions
0 references
modal logics
0 references
Logical characterization of bisimulation for transition relations over probability distributions with internal actions (English)
0 references
