Branching bisimulation for probabilistic systems: characteristics and decidability (Q2491633)
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: Branching bisimulation for probabilistic systems: characteristics and decidability |
scientific article; zbMATH DE number 5028691
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Branching bisimulation for probabilistic systems: characteristics and decidability |
scientific article; zbMATH DE number 5028691 |
Statements
Branching bisimulation for probabilistic systems: characteristics and decidability (English)
0 references
29 May 2006
0 references
branching bisimulation
0 references
probabilistic systems
0 references
alternating model
0 references
abstraction
0 references
0.9094161987304688
0 references
0.8832939863204956
0 references
0.86274254322052
0 references
0.8549856543540955
0 references
