… In Section 3, we then give the abstract demonic semantics of loop-free programs … of demonic
composition. In Section 4, we introduce finite and infinite iteration, leading to modal Kleene […

… We generalize this in considering elements of Kleene algebras as semantical values. In
a nondeterministic context, the demonic semantics is calculated by considering the worst …

… ], demonic refinement algebra [56] and lazy Kleene algebra [… the Kleene algebra axioms
except the second star induction … modal Kleene algebra for deriving general conditions under …

… modal Kleene algebra. This links the recursive definition of the do od loop with a combination
of the Kleene star … 13, 23, 25]) provides a weakly demonic semantics that allows such more …

… However, as we will see below, for condition semirings there … We will give a demonic ordering
and demonic operations on … We will now lift the Kleene star from the underlying semiring S …

… ) modal Kleene algebra is a weak left (right) modal Kleene … Analogously one shows that
under the same definition of star … The modal view of the weakly demonic semantical model has …

… In a nondeterministic context, the demonic semantics is … for preservation of substructures
under selective updating. The … is a least fixpoint (where the Kleene star is a greatest fixpoint) we …

… We first recall the concept of Kleene algebra with domain (KAD)… , as will be shown below.
Here is how we deal with tests in a … is the iteration operator that corresponds to the Kleene star. …

… of Kleene algebra with domain (KAD) and how demonic operators can be defined in this
algebra. We then present a new axiomatisation of demonic … Kleene under a modal demonic star. …

… and von Wright’s demonic refinement algebra. Moreover, by … a semiring to a Kleene algebra
(KA) [8] is the star that models … Next we note the behaviour of finite elements under the star: …