No label defined (Q3947096)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1982
0 references
nondeterministic evaluation
0 references
fully-abstract models
0 references
call-by-value
0 references
run- time choice
0 references
call-time choice
0 references
operational semantics
0 references
operational preorders between programs
0 references
powerdomains
0 references
computable elements
0 references
