Loading [a11y]/accessibility-menu.js
Implementing angelic nondeterminism | IEEE Conference Publication | IEEE Xplore

Implementing angelic nondeterminism


Abstract:

We extend correctness and refinement reasoning methods in order to show how angelic nondeterminism can be systematically transformed into demonic nondeterminism or determ...Show More

Abstract:

We extend correctness and refinement reasoning methods in order to show how angelic nondeterminism can be systematically transformed into demonic nondeterminism or determinism. This kind of transformation is important because angelic nondeterminism assumes that an agent interested in establishing the postcondition will resolve the choices intelligently. When angelic nondeterminism is reduced into demonic nondeterminism or determinism, such intelligent choices are no longer necessary. Reducing angelic nondeterminism is generally not a refinement; however, when context is taken into consideration, it can be a correctness-preserving transformation.
Date of Conference: 12-12 December 2003
Date Added to IEEE Xplore: 08 January 2004
Print ISBN:0-7695-2011-1
Conference Location: Chiang Mai, Thailand

References

References is not available for this document.