Add to ORKGThis paper studies basic properties of multirelations, and then shows that classes of multirelations provides models of three weaker variants of Kleene algebras, namely, lazy, monodic tree, and probabilistic Kleene algebras. Also it is shown that these classes of up-closed multirelations need not be models of Kozen\u27s Kleene algebras unlike the case of ordinary binary relations
We investigate similarities between non-deterministic and probabilistic ways of describing a system ...
A generalization of Kleene Algebras (structures with +·*, 0 and 1 operators) is considered to take i...
This report summarises recent progress in the research of its co-authors towards the construction of...
We give a new true-concurrent model for probabilistic concurrent Kleene algebra. The model is based ...
This thesis aims to provide a path to abstraction between probabilistic systems and non-probabilisti...
We show that a class of automata modulo simulation equivalence forms a model of probabilistic Kleene...
We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The a...
This thesis provides an algebraic modelling and verification of probabilistic concurrent systems in ...
We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The a...
Binary multirelations associate elements of a set with its subsets; hence they are binary relations ...
This paper studies basic properties of probabilistic multirelations which are generalized the semant...
Theoretical thesis.Bibliography: pages 167-175.1. Introduction -- 2. Continuity in probabilistic Kle...
Kleene algebras are an important class of algebraic structures that arise in diverse areas of comput...
Nondeterminism is a direct outcome of interactions and is, therefore a central ingredient for modell...
Nondeterminism is a direct outcome of interactions and is, therefore a central ingredient for modell...
We investigate similarities between non-deterministic and probabilistic ways of describing a system ...
A generalization of Kleene Algebras (structures with +·*, 0 and 1 operators) is considered to take i...
This report summarises recent progress in the research of its co-authors towards the construction of...
We give a new true-concurrent model for probabilistic concurrent Kleene algebra. The model is based ...
This thesis aims to provide a path to abstraction between probabilistic systems and non-probabilisti...
We show that a class of automata modulo simulation equivalence forms a model of probabilistic Kleene...
We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The a...
This thesis provides an algebraic modelling and verification of probabilistic concurrent systems in ...
We provide an extension of concurrent Kleene algebras to account for probabilistic properties. The a...
Binary multirelations associate elements of a set with its subsets; hence they are binary relations ...
This paper studies basic properties of probabilistic multirelations which are generalized the semant...
Theoretical thesis.Bibliography: pages 167-175.1. Introduction -- 2. Continuity in probabilistic Kle...
Kleene algebras are an important class of algebraic structures that arise in diverse areas of comput...
Nondeterminism is a direct outcome of interactions and is, therefore a central ingredient for modell...
Nondeterminism is a direct outcome of interactions and is, therefore a central ingredient for modell...
We investigate similarities between non-deterministic and probabilistic ways of describing a system ...
A generalization of Kleene Algebras (structures with +·*, 0 and 1 operators) is considered to take i...
This report summarises recent progress in the research of its co-authors towards the construction of...