关于几类具有Kleene*-运算的半环

摘要：

Kleene代数在计算机科学中具有基础而特殊的重要性.在计算机工程应用中,Kleene代数及相关*-半环已被成功应用于基础安全分析、底层程序变换以及并行控制等许多领域.本文定义了几类具有Kleene*-运算的半环,给出了相关的等价刻画,并研究了这些*-半环之间的关系.

关键词：-半环、Kleene代数、对称*-λ-半环

所属期刊栏目：13

分类号：TP301.1(计算技术、计算机技术)

在线出版日期：2008-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：136-138