Labelled Markov processes as generalised stochastic relations (Q2864159)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Labelled Markov processes as generalised stochastic relations |
scientific article; zbMATH DE number 6236115
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Labelled Markov processes as generalised stochastic relations |
scientific article; zbMATH DE number 6236115 |
Statements
6 December 2013
0 references
labelled Markov process
0 references
generalized stochastic relation
0 references
probabilistic bisimulation
0 references
Stone duality
0 references
\(C^*\)-algebra
0 references
comonad
0 references
Labelled Markov processes as generalised stochastic relations (English)
0 references
0.892106294631958
0 references
0.845357358455658
0 references
0.805238664150238
0 references
0.8002210259437561
0 references
