192 search results - page 4 / 39 » Nondeterminism in Constructive Z |
130
click to vote
JUCS
2010
14 years 11 months ago
2010
: We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x 0. The oracle machines can also check whether...
153
click to vote
MIDDLEWARE
2009
Springer
15 years 11 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
115
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
137
click to vote
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...