对称*-λ-半环

• 作者: 冯锋 张辉 柳晓燕
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: *-半环 对称*-λ-半环 归纳*-半环 Kleene代数
• 年，卷（期）: 2007,（33）
• 所属期刊栏目: 学术探讨
• 页码范围: 46-47,97
• 页数: 3页
• 分类号: TP301.2
• 字数: 3011字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.33.016

摘要

Kleene代数在计算机科学中具有基础而特殊的重要性.在计算机工程应用中,Kleene代数及相关*-半环已被成功应用于基础安全分析、底层程序变换以及并行控制等许多领域.论文给出了对称*-λ-半环的定义及其等价刻画,并指出对称*-λ-半环是Kleene代数概念的推广.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张辉	西安交通大学理学院	71	678	14.0	22.0
2	柳晓燕	西安邮电学院应用数学与应用物理系	12	46	4.0	6.0
3	冯锋	西安邮电学院应用数学与应用物理系	11	21	3.0	4.0