2 search results - page 1 / 1 » Underspecification, Inherent Nondeterminism and Probability ... |
61
Voted
FMOODS
2006
14 years 11 months ago
2006
Nondeterminism in specifications may be used for at least two different purposes. One is to express underspecification, which means that the specifier for the same environment beha...
100
Voted
VL
2000
IEEE
15 years 1 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...