Non-associative Kleene Algebra and Temporal Logics

DOI10.1007/978-3-319-57418-9_6zbMath1486.68099OpenAlexW2608888986MaRDI QIDQ5283205

Jules Desharnais, Bernhard Möller

Publication date: 21 July 2017

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/3916

zbMATH Keywords

semanticsKleene algebratemporal logicsrepetition algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Temporal logic (03B44)

Related Items (1)

Non-associative Kleene Algebra and Temporal Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kleene getting lazy
• A completeness theorem for Kleene algebras and the algebra of regular events
• Computation calculus bridging a formalization gap
• Characterizing determinacy in Kleene algebras
• Some results in dynamic model theory
• Exploring an Interface Model for CKA
• Quantales and Temporal Logics
• Kleene algebra with domain
• Non-associative Kleene Algebra and Temporal Logics
• ITERATION ALGEBRAS
• Mathematics of Program Construction

This page was built for publication: Non-associative Kleene Algebra and Temporal Logics