192 search results - page 1 / 39 » Nondeterminism in Constructive Z |
FUIN
2008
13 years 3 months ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
FAC
2002
13 years 4 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
FOSSACS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
DOOD
1991
Springer
13 years 8 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
INFOCOM
2006
IEEE
13 years 10 months ago
2006
IEEE