3 search results - page 1 / 1 » psse 2004 |
92
Voted
PSSE
2004
Springer
15 years 5 months ago
2004
Springer
74
Voted
PSSE
2004
Springer
15 years 5 months ago
2004
Springer
157
click to vote
PSSE
2004
Springer
15 years 5 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,...