• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Implementing Angelic Nondeterminism

Orieta Celiku, Joakim von Wright, Implementing Angelic Nondeterminism. In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand, IEEE Computer Society, 2003.

Abstract:

This paper extends 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
the choices will be resolved intelligently by an agent interested in
establishing the postcondition. 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.

BibTeX entry:

@INPROCEEDINGS{inpCevo03a,
  title = {Implementing Angelic Nondeterminism},
  booktitle = {10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand},
  author = {Celiku, Orieta and Wright, Joakim von},
  publisher = {IEEE Computer Society},
  year = {2003},
}

Belongs to TUCS Research Unit(s): Learning and Reasoning Lab

Edit publication