We propose Kleene algebra with domain (KAD), an extension of Kleene algebra with two equational axioms for a domain and a codomain operation, respectively. KAD considerably augments the expressibility of Kleene algebra, in particular for the specification and analysis of state transition systems. We develop the basic calculus, discuss some related theories and present the most important models of KAD. We demonstrat
Kleene algebras with tests provide a rigorous framework for equational specification and verificatio...
Modal Kleene algebras are Kleene algebras with forward and backward modal operators defined via doma...
Kleene algebras provide a convenient and powerful algebraic axiomatisation of a complete lattice tha...
We propose Kleene algebra with domain (KAD), an extension of Kleene algebra with two equational axio...
We propose Kleene algebra with domain (KAD), an extension of Kleene algebra with two equational axio...
Modal Kleene algebras are Kleene algebras with forward and backward modal operators defined via doma...
AbstractNew axioms for domain operations on semirings and Kleene algebras are proposed. They general...
We propose axioms for Kleene modules (KM). These structures have a Kleene algebra K and a Boolean al...
We propose axioms for Kleene modules (KM). These structures have a Kleene algebra K and a Boolean al...
Modal Kleene algebras are Kleene algebras with forward and backward modal operators defined via dom...
We propose a relaxation of Kleene algebra by giving up strictness and right-distributivity of compos...
We identify sufficient conditions for the construction of free language models for systems of Kleene...
We develop a typed equational system that subsumes both iteration theories and typed Kleene algebra ...
We propose a relaxation of Kleene algebra by giving up strictness and right-distributivity of compos...
We propose a relaxation of Kleene algebra by giving up strictness and right-distributivity of compos...
Kleene algebras with tests provide a rigorous framework for equational specification and verificatio...
Modal Kleene algebras are Kleene algebras with forward and backward modal operators defined via doma...
Kleene algebras provide a convenient and powerful algebraic axiomatisation of a complete lattice tha...
We propose Kleene algebra with domain (KAD), an extension of Kleene algebra with two equational axio...
We propose Kleene algebra with domain (KAD), an extension of Kleene algebra with two equational axio...
Modal Kleene algebras are Kleene algebras with forward and backward modal operators defined via doma...
AbstractNew axioms for domain operations on semirings and Kleene algebras are proposed. They general...
We propose axioms for Kleene modules (KM). These structures have a Kleene algebra K and a Boolean al...
We propose axioms for Kleene modules (KM). These structures have a Kleene algebra K and a Boolean al...
Modal Kleene algebras are Kleene algebras with forward and backward modal operators defined via dom...
We propose a relaxation of Kleene algebra by giving up strictness and right-distributivity of compos...
We identify sufficient conditions for the construction of free language models for systems of Kleene...
We develop a typed equational system that subsumes both iteration theories and typed Kleene algebra ...
We propose a relaxation of Kleene algebra by giving up strictness and right-distributivity of compos...
We propose a relaxation of Kleene algebra by giving up strictness and right-distributivity of compos...
Kleene algebras with tests provide a rigorous framework for equational specification and verificatio...
Modal Kleene algebras are Kleene algebras with forward and backward modal operators defined via doma...
Kleene algebras provide a convenient and powerful algebraic axiomatisation of a complete lattice tha...