Möller，伯恩哈德 克莱恩变得懒惰了。 （英语） Zbl 1109.68060号 科学。计算。程序。 65，第2期，195-214（2007）. 小结：我们通过放弃合成的严格性和右分布性，提出了Kleene代数的松弛。这允许包含Dijkstra的计算微积分、Cohen的欧米伽代数和von Wright的恶魔精化代数。此外，通过添加域和共域运算符，我们还可以合并模态运算符。我们证明了谓词变换构成惰性Kleene代数，析取和合取的谓词变换甚至构成惰性omega-Kleene-代数。我们还简要概述了两个进一步的应用：一个是建模总体正确性的命令的模态惰性Kleene代数，另一个是抽象描述反应系统和混合系统中使用的轨迹集。 引用于19文件 MSC公司： 68问题55 计算理论中的语义学 关键词：代数语义学;惰性评估;克莱尼代数;欧米伽代数;模态运算符;谓词变换器 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}，科学。计算。程序。65，第2号，195--214（2007；Zbl 1109.68060） 全文： 内政部 链接