Relational mathematics is to operations research and informatics what numerical
mathematics is to engineering: it is intended to help modelling, reasoning, and computing …

Binary multirelations form a model of alternating nondeterminism useful for analysing
games, interactions of computing systems with their environments or abstract interpretations …

We reconstruct Peleg's concurrent dynamic logic in the context of modal Kleene algebras.
We explore the algebraic structure of its multirelational semantics and develop an …

Binary multirelations generalise binary relations by associating elements of a set to its
subsets. We study the structure and algebra of multirelations under the operations of union …

Multirelations model computations with both angelic and demonic non-determinism. We
extend multirelations to represent finite and infinite computations independently. We derive …

Previous work gives algebras for uniformly describing correctness statements and calculi in
various relational and matrix-based computation models. These models support a single …

Fuzzy programming languages, such as the Fuzzy Arden Syntax (FAS), are used to describe
behaviours which evolve in a fuzzy way and thus cannot be characterized neither by a …

This paper studies basic properties of multirelations, and then shows that classes of
multirelations provides models of three weaker variants of Kleene algebras, namely, lazy …

This paper studies basic properties of up-closed multirelations, and then shows that the set
of finitary total up-closed multirelations over a set forms a probabilistic Kleene algebra. In …

The correspondence between up-closed multirelations and isotone predicate transformers is
well known. Less known is that multirelations have also been used for modelling topological …