Relational semantics for locally nondeterministic programs

Demonic fixed points

Acta Cybernetica

Demonic fuzzy operators

NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems

Demonic fuzzy operators

WSEAS Transactions on Mathematics

From operational to denotational demonic semantics of nondeterministic while loops

ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers