192 search results - page 3 / 39 » Nondeterminism in Constructive Z |
104
Voted
ENTCS
2006
14 years 9 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
INFOCOM
1997
IEEE
15 years 1 months ago
1997
IEEE
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...
DSN
2000
IEEE
15 years 1 months ago
2000
IEEE
An important technical hurdle blocking the adoption of mobile agent technology is the lack of reliability. Designing a reliable mobile agent system is especially challenging since...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
tigate the role of nondeterminism in Winfree's abstract Tile Assembly Model (aTAM), which was conceived to model artificial molecular self-assembling systems constructed from...
KBSE
1998
IEEE
15 years 1 months ago
1998
IEEE
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...