Kleene getting lazy
- We propose a relaxation of Kleene algebra by giving up strictness and right-distributivity of composition. This allows the subsumption of Dijkstra’s computation calculus, Cohen’s omega algebra and von Wright’s demonic refinement algebra. Moreover, by adding domain and codomain operators we can also incorporate modal operators. We show that predicate transformers form lazy Kleene algebras, the disjunctive and conjunctive ones even lazy omega Kleene algebras. We also briefly sketch two further applications: a modal lazy Kleene algebra of commands modelling total correctness and another one that abstractly characterizes sets of trajectories as used in the description of reactive and hybrid systems.
Download full text files
Postprint
Statistics
Print On Demand
Additional Services
| Author: | Bernhard MöllerGND |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus4-391171 |
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/39117 |
| ISSN: | 0167-6423OPAC |
| Parent Title (English): | Science of Computer Programming |
| Publisher: | Elsevier BV |
| Type: | Article |
| Language: | English |
| Year of first Publication: | 2007 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2018/07/30 |
| Volume: | 65 |
| Issue: | 2 |
| First Page: | 195 |
| Last Page: | 214 |
| DOI: | https://doi.org/10.1016/j.scico.2006.01.010 |
| 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): |  CC-BY-NC-ND 4.0: Creative Commons: Namensnennung - Nicht kommerziell - Keine Bearbeitung (mit Print on Demand) |
