TY  - JOUR
A1  - Desharnais, Jules
A1  - Möller, Bernhard
T1  - Non-associative Kleene algebra and temporal logics
T2  - Lecture Notes in Computer Science
N2  - We introduce new variants of Kleene star and omega iteration
for the case where the iterated operator is neither associative nor
has a neutral element. The associated repetition algebras are used to give closed semantic expressions for the Until and While operators of the temporal logic CTL* and its sublogics CTL and LTL. Moreover, the relation between the semantics of these logics can be expressed by homomorphisms between repetition algebras, which is a more systematic and compact approach than the ones taken in earlier papers.
Y1  - 2017
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58726
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-587268
SN  - 9783319574172
SN  - 9783319574189
SN  - 0302-9743
SN  - 1611-3349
VL  - 10226
SP  - 93
EP  - 108
PB  - Springer International
CY  - Cham
ER  -