Kleene Modules
| 详细信息 | 推荐本文 | |
- 作者：Thorsten Ehm ; Bernhard M枚ller ; Georg Struth
- 刊名：Lecture Notes in Computer Science
- 出版时间：2004
- 出版年：2004
- 期刊代码：99_0302-9743
- 类别：cp
- 卷：3051
- 期：1
- 页码：112-124
- 数据来源：sp
摘要
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 is the basis of algebraic variants of dynamic logics. We develop a calculus for KM and discuss its relation to Kleene algebra with domain and to dynamic and test algebras. As an example, we apply KM to the reachability analysis in digraphs.