186

A completeness theorem for Kleene algebras and the algebra of regular events
– Dexter Kozen
 1994

277

Regular Algebra and Finite Machines
– J H Conway
 1971

377

Representation of events in nerve nets and finite automata, Automata studies, Annals of mathematics studies
– Stephen Cole Kleene
 1956

41

On Hoare Logic and Kleene Algebra with Tests
– Dexter Kozen

22

Kleene algebra with tests: Completeness and decidability
– Dexter Kozen, Frederick Smith
 1996

16

A semiring on convex polygons and zerosum cycle problems
– K Iwano, K Steiglitz
 1990

16

Using Kleene algebra to reason about concurrency control
– Ernie Cohen
 1994

2447

The Design and Analysis of Computer Algorithms
– A V Aho, J E Hopcroft, J D Ullman
 1974

360

Propositional dynamic logic of regular programs
– M J Fischer, R E Ladner
 1979

20

On induction vs. *continuity
– Dexter Kozen
 1981

23

The Kleene and Parikh theorem in complete semirings
– W Kuich
 1987

130

The design and analysis of algorithms
– D C Kozen
 1992

26

Representation of events in nerve nets and nite automata, in: C.E
– S C Kleene
 1956

33

Dynamic Algebras as a wellbehaved fragment of Relation Algebras
– Vaughan Pratt
 1990

27

Relation algebras with transitive closure
– K C Ng
 1984

39

Separation and reduction
– E Cohen
 2000

823

Dynamic Logic
– David Harel, Dexter Kozen, Jerzy Tiuryn
 1984

5

Hypotheses in Kleene algebra. Available as ftp://ftp.telcordia.com/pub/ernie/research/homepage.html
– Ernie Cohen
 1994

32

Certification of compiler optimizations using Kleene algebra with tests
– Dexter Kozen, MariaCristina Patron
 2000
