3 search results - page 1 / 1 » psse 2004 |
93
Voted
PSSE
2004
Springer
15 years 6 months ago
2004
Springer
77
Voted
PSSE
2004
Springer
15 years 6 months ago
2004
Springer
168
Voted
PSSE
2004
Springer
15 years 6 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,...