TY  - RPRT
A1  - Möller, Bernhard
T1  - Lazy Kleene algebra
N2  - 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. Finally, it is shown that the predicate transformers form lazy Kleene algebras again, the disjunctive and conjunctive ones even lazy Kleene algebras with an omega operation.
T3  - Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg - 2003-17 
KW  - Kleene-Algebra
Y1  - 2006
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/253
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-2042
PB  - Institut für Informatik, Universität Augsburg
CY  - Augsburg
ER  -