Kleene algebra with domain

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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 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.
40 pages

Keywords

Logic in Computer Science, D.2.4; F.3.1; F.3.2; I.1.3

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/31849

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0310054
 http://arxiv.org/abs/cs/0310054

Collections

arXiv