Kleene algebra with domain
- We propose Kleene algebra with domain (KAD), an extension of Kleene algebra by simple equational axioms for a domain and a codomain operation. KAD considerably augments the expressiveness of Kleene algebra, in particular for the specification and analysis of programs and state transition systems. We develop the basic calculus, present the most interesting models and discuss some related theories. We demonstrate applicability by two examples: algebraic reconstructions of Noethericity and propositional Hoare logic based on equational reasoning.
Download full text files
Postprint
Statistics
Additional Services
| Author: | Jules DesharnaisGND, Bernhard MöllerGND, Georg StruthGND |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus4-539870 |
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/53987 |
| ISSN: | 1529-3785OPAC |
| Parent Title (English): | ACM Transactions on Computational Logic |
| Publisher: | Association for Computing Machinery (ACM) |
| Type: | Article |
| Language: | English |
| Year of first Publication: | 2006 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2019/05/17 |
| Volume: | 7 |
| Issue: | 4 |
| First Page: | 798 |
| Last Page: | 833 |
| DOI: | https://doi.org/10.1145/1183278.1183285 |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme | |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Licence (German): |  Deutsches Urheberrecht |
