26 search results - page 6 / 6 » What are the high-level concepts with small semantic gaps |
PSSE
2004
Springer
14 years 4 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...