Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (33): 46-47.
• 学术探讨 • Previous Articles Next Articles
FENG Feng1,LIU Xiao-yan1,ZHANG Hui2
Received:
Revised:
Online:
Published:
Contact:
冯 锋1,柳晓燕1,张 辉2
通讯作者:
Abstract: Kleene algebra is fundamental and ubiquitous in computer science.In computer engineering and applications,Kleene algebra and related *-semirings have been used successfully in various fields such as basic safety analysis,low-level program transformations and concurrency control.In this paper,the notion of symmetric *-λ-semirings is introduced and equivalent characterization of symmetric *-λ-semirings is given.Moreover,it is pointed out that symmetric *-λ-semirings extend the notion of Kleene algebras.
Key words: *-semiring, symmetric *-λ-semiring, inductive *-semiring, Kleene algebra
摘要: Kleene代数在计算机科学中具有基础而特殊的重要性。在计算机工程应用中,Kleene代数及相关*-半环已被成功应用于基础安全分析、底层程序变换以及并行控制等许多领域。论文给出了对称*-λ-半环的定义及其等价刻画,并指出对称*-λ-半环是Kleene代数概念的推广。
关键词: *-半环, 对称*-λ-半环, 归纳*-半环, Kleene代数
FENG Feng1,LIU Xiao-yan1,ZHANG Hui2. On symmetric *-λ-semirings[J]. Computer Engineering and Applications, 2007, 43(33): 46-47.
冯 锋1,柳晓燕1,张 辉2. 对称*-λ-半环[J]. 计算机工程与应用, 2007, 43(33): 46-47.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/
http://cea.ceaj.org/EN/Y2007/V43/I33/46