TY  - JOUR
A1  - Ehm, Thomas
A1  - Möller, Bernhard
A1  - Struth, Georg
T1  - Kleene modules
T2  - Lecture Notes in Computer Science
N2  - We propose axioms for Kleene modules (KM). These structures have a Kleene algebra and a Boolean algebra as sorts. The scalar products are mappings from the Kleene algebra and the Boolean algebra into the Boolean algebra that arise as algebraic abstractions of relational image and preimage operations. KM are the basis of algebraic variants of dynamic logics. We develop a calculus for KM and discuss their relation to Kleene algebra with domain and to dynamic and test algebras. As an example, we apply KM to the reachability analysis in digraphs.
Y1  - 2019
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/59207
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-592073
SN  - 978-3-540-22145-6
VL  - 3051
SP  - 112
EP  - 123
PB  - Springer
CY  - Berlin
ER  -