Kleene algebra with domain

Simple item page
dc.creatorDesharnais, J.
dc.creatorMöller, B.
dc.creatorStruth, G.
dc.date2003-10-28
dc.date.accessioned2026-07-07T03:20:30Z
dc.date.available2026-07-07T03:20:30Z
dc.descriptionWe 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 expressiveness 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 demonstrate applicability by two examples: First, an algebraic reconstruction of Noethericity and well-foundedness; second, an algebraic reconstruction of propositional Hoare logic.
dc.description40 pages
dc.identifierhttps://arxiv.org/abs/cs/0310054
dc.identifierhttp://arxiv.org/abs/cs/0310054
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/31849
dc.subjectLogic in Computer Science
dc.subjectD.2.4; F.3.1; F.3.2; I.1.3
dc.titleKleene algebra with domain
dc.typetext

Files

Collections

arXiv