Alternating states for dual nondeterminism in imperative programming (Q974118)
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: Alternating states for dual nondeterminism in imperative programming |
scientific article; zbMATH DE number 5712828
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Alternating states for dual nondeterminism in imperative programming |
scientific article; zbMATH DE number 5712828 |
Statements
Alternating states for dual nondeterminism in imperative programming (English)
0 references
27 May 2010
0 references
free distributive completion
0 references
nondeterminism
0 references
angelic choice
0 references
demonic choice
0 references
refinement calculus
0 references
programming semantics
0 references
