Lazy Kleene Algebra
Lazy Kleene Algebra
复制标题
惰性克莱恩代数
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
B. Möller
中科院分区：
文献类型：
--
作者：
B. Möller
通过放弃合成的严格性和右分配性，给出了Kleene代数的一个松弛。这允许包含Dijkstra的计算演算，Cohen的omega代数和von Wright的恶魔细化代数。此外，通过添加域和共域算子，我们还可以合并模态算子。最后，证明了谓词变换再次形成懒惰Kleene代数，析取和合取的甚至是带有Ω运算的懒惰Kleene代数。
We propose a relaxation of Kleene algebra by giving up strictness and right-distributivity of composition. This allows the subsumption of Dijkstra’s computation calculus, Cohen’s omega algebra and von Wright’s demonic refinement algebra. Moreover, by adding domain and codomain operators we can also incorporate modal operators. Finally, it is shown that predicate transformers form lazy Kleene algebras again, the disjunctive and conjunctive ones even lazy Kleene algebras with an omega operation.
DOI：
10.1007/978-3-642-13321-3_5
发表时间：
2010
期刊：
--
影响因子：
--
作者：
Boiten E
通讯作者：
Boiten E