Demonic, angelic and unbounded probabilistic choices in sequential programs (Q5925822)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1567032
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Demonic, angelic and unbounded probabilistic choices in sequential programs |
scientific article; zbMATH DE number 1567032 |
Statements
Demonic, angelic and unbounded probabilistic choices in sequential programs (English)
0 references
20 February 2001
0 references
conjunctive transformers
0 references
0.8166584968566895
0 references
0.793229877948761
0 references
0.7857716679573059
0 references
0.7845913171768188
0 references
0.7560247182846069
0 references
