带域的克里尼代数
摘要：提议使用带有领域的Kleene代数(KAD)，这是Kleene代数的扩展，具有两个等式公理，分别用于领域和余领域操作。KAD极大增强了Kleene代数的表达能力，特别适用于状态转换系统的规范和分析。我们开发了基本的计算方法，讨论了一些相关理论，并呈现了KAD的最重要的模型。通过两个例子展示了其可应用性：首先，对Noethericity和良基性进行代数重构；其次，对命题Hoare逻辑进行代数重构。
作者：J. Desharnais, B. M"oller, G. Struth
论文ID：cs/0310054
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23