Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

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

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

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

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?