Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Kleene algebra

Known as: Regular, Regular algebra 
In mathematics, a Kleene algebra (/ˈkleɪni/ KLAY-nee; named after Stephen Cole Kleene) is an idempotent (and thus partially ordered) semiring endowed… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
A Concurrent Kleene Algebra oers two composition operators, related by a weak version of an exchange law: when applied in a trace… Expand
  • figure 1
Is this relevant?
Highly Cited
2009
Highly Cited
2009
A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by… Expand
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for… Expand
  • table 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We propose Kleene algebra with domain (KAD), an extension of Kleene algebra by simple equational axioms for a domain and a… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We propose a relaxation of Kleene algebra by giving up strictness and right-distributivity of composition. This allows the… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We show that Kleene algebra with tests (KAT) subsumes propositional Hoare logic (PHL). Thus the specialized syntax and deductive… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
In previous work we have found it necessary to argue that certain theorems of Kleene algebra hold even when the symbols are… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We introduce Kleene algebra with tests, an equational system for manipulating programs. We give a purely equational proof, using… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
  • D. Kozen
  • Inf. Comput.
  • 1994
  • Corpus ID: 9485351
A finitary axiomatization of the algebra of regular events involving only equations and equational implications that is sound for… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Kleene algebras are an important class of algebraic structures that arise in diverse areas of computer science: program logic and… Expand
Is this relevant?