2008•Journal of Xi'an University of Post and TelecommunicationsRequires access
On some classes of Kleene*-semirings
Feng Feng
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,lowlevel program transformations and concurrency control.In this paper,several classes of semirings equipped with Kleene *-operations are defined and related equivalent characterizations are given.Relations among these *-semirings are also investigated.