2007•Computer Engineering and Applications JournalRequires access
On symmetric *-λ-semirings
Hui Zhang
Open publisher page 0 citations
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.